Rodin Platform 2.4 External Plug-ins: Revision history

17 May 2012

• curprev 08:3508:35, 17 May 2012‎ imported>Neoser‎ 8,377 bytes 0‎ →‎Other Update Sites

29 April 2012

• curprev 18:5818:58, 29 April 2012‎ imported>Jastram‎ 8,377 bytes +28‎ →‎ProR Update Site

24 April 2012

• curprev 08:2208:22, 24 April 2012‎ imported>Tommy‎ m 8,349 bytes +1‎ →‎Rodin Update Site

16 April 2012

• curprev 10:5810:58, 16 April 2012‎ imported>Neoser‎ 8,348 bytes +12‎ →‎Other Update Sites
• curprev 10:5710:57, 16 April 2012‎ imported>Neoser‎ 8,336 bytes +24‎ →‎Other Update Sites
• curprev 10:4910:49, 16 April 2012‎ imported>Neoser‎ 8,312 bytes +2‎ →‎Other Update Sites
• curprev 10:4910:49, 16 April 2012‎ imported>Neoser‎ 8,310 bytes −21‎ →‎Rodin Update Site
• curprev 10:4810:48, 16 April 2012‎ imported>Neoser‎ 8,331 bytes −12‎ No edit summary
• curprev 10:4110:41, 16 April 2012‎ imported>Neoser‎ 8,343 bytes +31‎ →‎Other Update Sites
• curprev 10:3810:38, 16 April 2012‎ imported>Neoser‎ 8,312 bytes −1‎ →‎Other Update Sites
• curprev 10:3710:37, 16 April 2012‎ imported>Neoser‎ 8,313 bytes +225‎ →‎Other Update Sites

10 April 2012

• curprev 20:4620:46, 10 April 2012‎ imported>Son‎ 8,088 bytes −4‎ No edit summary

4 April 2012

• curprev 13:4013:40, 4 April 2012‎ imported>Tommy‎ m 8,092 bytes +164‎ →‎Rodin Update Site

30 March 2012

• curprev 10:2610:26, 30 March 2012‎ imported>Tommy‎ m 7,928 bytes +6‎ →‎Known plug-in incompatibilities

26 March 2012

• curprev 17:2117:21, 26 March 2012‎ imported>Renato‎ 7,922 bytes −21‎ →‎Rodin Update Site

23 March 2012

• curprev 15:5215:52, 23 March 2012‎ imported>Weigelt‎ 7,943 bytes +175‎ →‎Other Update Sites
• curprev 15:4715:47, 23 March 2012‎ imported>Colin‎ 7,768 bytes −2‎ →‎Rodin Update Site
• curprev 15:4615:46, 23 March 2012‎ imported>Colin‎ 7,770 bytes −48‎ →‎Rodin Update Site
• curprev 14:4614:46, 23 March 2012‎ imported>Tommy‎ m 7,818 bytes −1‎ →‎Rodin Update Site

22 March 2012

• curprev 14:0214:02, 22 March 2012‎ imported>Andy‎ 7,819 bytes −2‎ →‎Rodin Update Site
• curprev 14:0114:01, 22 March 2012‎ imported>Andy‎ 7,821 bytes 0‎ →‎Rodin Update Site

9 March 2012

• curprev 11:0711:07, 9 March 2012‎ imported>Alinstef‎ 7,821 bytes −3‎ →‎Other Update Sites

25 February 2012

• curprev 17:0617:06, 25 February 2012‎ imported>Wohuai‎ m 7,824 bytes −72‎ No edit summary
• curprev 17:0517:05, 25 February 2012‎ imported>Wohuai‎ m 7,896 bytes 0‎ →‎Rodin Update Site

17 February 2012

• curprev 13:5413:54, 17 February 2012‎ imported>YGU‎ 7,896 bytes −10‎ →‎Rodin Update Site: Made the SMT-Solvers Plug-in for Rodin 2.4 available

10 February 2012

• curprev 17:2517:25, 10 February 2012‎ imported>Wohuai‎ 7,906 bytes −14‎ No edit summary

7 February 2012

• curprev 15:1815:18, 7 February 2012‎ imported>Tommy‎ m 7,920 bytes +32‎ →‎B Method Update Site
• curprev 15:1715:17, 7 February 2012‎ imported>Tommy‎ m 7,888 bytes +42‎ →‎B Method Update Site

3 February 2012

• curprev 14:4314:43, 3 February 2012‎ imported>Tommy‎ m 7,846 bytes −267‎ Removed the line for the Rodin Editor

2 February 2012

• curprev 05:5505:55, 2 February 2012‎ imported>Alinstef‎ m 8,113 bytes −5‎ →‎Other Update Sites

1 February 2012

• curprev 17:3117:31, 1 February 2012‎ imported>Nicolas‎ 8,118 bytes −7‎ No edit summary

26 January 2012

• curprev 16:4616:46, 26 January 2012‎ imported>Alinstef‎ m 8,125 bytes −5‎ →‎Other Update Sites

20 January 2012

• curprev 15:4815:48, 20 January 2012‎ imported>Jens‎ 8,130 bytes +37‎ →‎Other Update Sites

12 January 2012

• curprev 16:2316:23, 12 January 2012‎ imported>Nicolas‎ m 8,093 bytes +8,093‎ New page: <!-- To set your plug-in state to available, please use : <span style="color:green">available</span> --> ==== Rodin Update Site ==== {{SimpleHeader}} |- ! scope=col | || Plug-in name ||...