Rodin Plug-ins: Revision history

13 November 2018

• curprev 14:1914:19, 13 November 2018‎ imported>Son‎ m 5,538 bytes −10‎ →‎Modelling
• curprev 14:1914:19, 13 November 2018‎ imported>Son‎ m 5,548 bytes +12‎ →‎Rodin Plug-in Documentation

21 July 2017

• curprev 23:1823:18, 21 July 2017‎ imported>Son‎ 5,536 bytes 0‎ →‎Modelling

4 November 2016

• curprev 15:0615:06, 4 November 2016‎ imported>Son‎ 5,536 bytes +118‎ →‎Modelling

28 May 2015

• curprev 06:3906:39, 28 May 2015‎ imported>Neoser‎ 5,418 bytes −3‎ →‎Code Generation

6 January 2015

• curprev 15:5615:56, 6 January 2015‎ imported>Rivera‎ 5,421 bytes +202‎ →‎Code Generation: added EventB2SQL
• curprev 12:5812:58, 6 January 2015‎ imported>Rivera‎ 5,219 bytes +1‎ →‎Code Generation
• curprev 12:5712:57, 6 January 2015‎ imported>Rivera‎ 5,218 bytes +185‎ →‎Code Generation

14 February 2014

• curprev 13:2313:23, 14 February 2014‎ imported>Rivera‎ 5,033 bytes −27‎ →‎Code Generation

6 September 2013

• curprev 14:2114:21, 6 September 2013‎ imported>Rivera‎ 5,060 bytes +21‎ →‎Code Generation
• curprev 14:0714:07, 6 September 2013‎ imported>Rivera‎ 5,039 bytes +129‎ →‎Code Generation

29 August 2013

• curprev 14:2614:26, 29 August 2013‎ imported>Andy‎ 4,910 bytes −13‎ →‎Code Generation
• curprev 14:2614:26, 29 August 2013‎ imported>Andy‎ 4,923 bytes +20‎ →‎Code Generation

10 December 2012

• curprev 15:0115:01, 10 December 2012‎ imported>Colin‎ 4,903 bytes −133‎ →‎Experimental

3 May 2012

• curprev 07:0507:05, 3 May 2012‎ imported>Jastram‎ 5,036 bytes +49‎ →‎Rodin Plug-in Documentation

25 February 2012

• curprev 17:0317:03, 25 February 2012‎ imported>Wohuai‎ m 4,987 bytes +1‎ No edit summary
• curprev 17:0217:02, 25 February 2012‎ imported>Wohuai‎ m 4,986 bytes +52‎ No edit summary

30 January 2012

• curprev 10:5110:51, 30 January 2012‎ imported>Rivera‎ 4,934 bytes +259‎ →‎Code Generation

23 November 2011

• curprev 11:1211:12, 23 November 2011‎ imported>Son‎ m 4,675 bytes +8‎ →‎Modelling
• curprev 10:5610:56, 23 November 2011‎ imported>Son‎ m 4,667 bytes +37‎ →‎Modelling
• curprev 10:5510:55, 23 November 2011‎ imported>Son‎ m 4,630 bytes −18‎ →‎Modelling
• curprev 10:5410:54, 23 November 2011‎ imported>Son‎ 4,648 bytes +147‎ →‎Modelling

20 October 2011

• curprev 12:1812:18, 20 October 2011‎ imported>Neoser‎ 4,501 bytes +28‎ →‎Code Generation

12 October 2011

• curprev 07:1807:18, 12 October 2011‎ imported>Alinstef‎ m 4,473 bytes +108‎ →‎Experimental

27 September 2011

• curprev 08:5308:53, 27 September 2011‎ imported>Ladenberger‎ 4,365 bytes +35‎ →‎Animation
• curprev 08:5308:53, 27 September 2011‎ imported>Ladenberger‎ 4,330 bytes 0‎ →‎Visualization
• curprev 08:5208:52, 27 September 2011‎ imported>Ladenberger‎ 4,330 bytes +34‎ →‎Visualization
• curprev 08:4808:48, 27 September 2011‎ imported>Ladenberger‎ 4,296 bytes +156‎ →‎Rodin Plug-in Documentation

19 September 2011

• curprev 18:1818:18, 19 September 2011‎ imported>Neoser‎ 4,140 bytes +14‎ →‎Code Generation
• curprev 18:1718:17, 19 September 2011‎ imported>Neoser‎ 4,126 bytes +6‎ →‎Code Generation
• curprev 18:1618:16, 19 September 2011‎ imported>Neoser‎ 4,120 bytes +133‎ →‎Code Generation

13 July 2011

• curprev 12:0612:06, 13 July 2011‎ imported>Tommy‎ m 3,987 bytes +105‎ →‎Modelling

7 July 2011

• curprev 12:2212:22, 7 July 2011‎ imported>Ilya.lopatkin‎ 3,882 bytes +107‎ →‎Experimental: transformation patterns

6 June 2011

• curprev 15:2815:28, 6 June 2011‎ imported>Singhnne‎ 3,775 bytes −7‎ →‎Code Generation
• curprev 15:2715:27, 6 June 2011‎ imported>Singhnne‎ 3,782 bytes +129‎ →‎Code Generation

18 May 2011

• curprev 12:4712:47, 18 May 2011‎ imported>Vitaly‎ 3,653 bytes +133‎ →‎Experimental

9 May 2011

• curprev 12:0412:04, 9 May 2011‎ imported>Wohuai‎ 3,520 bytes +66‎ No edit summary

26 April 2011

• curprev 12:1612:16, 26 April 2011‎ imported>Alexili‎ 3,454 bytes +99‎ No edit summary

1 February 2011

• curprev 10:3710:37, 1 February 2011‎ imported>WikiSysop‎ 3,355 bytes +22‎ →‎Modelling
• curprev 10:3610:36, 1 February 2011‎ imported>WikiSysop‎ 3,333 bytes +7‎ →‎Modelling
• curprev 10:3410:34, 1 February 2011‎ imported>WikiSysop‎ 3,326 bytes +25‎ →‎Modelling
• curprev 10:3310:33, 1 February 2011‎ imported>WikiSysop‎ 3,301 bytes −145‎ →‎Modelling
• curprev 10:3310:33, 1 February 2011‎ imported>WikiSysop‎ 3,446 bytes −15‎ →‎Mathematical language and Proof
• curprev 10:3210:32, 1 February 2011‎ imported>WikiSysop‎ 3,461 bytes +93‎ →‎Rodin Plug-in Documentation
• curprev 10:3010:30, 1 February 2011‎ imported>WikiSysop‎ 3,368 bytes 0‎ →‎Rodin Plug-in Documentation
• curprev 10:2710:27, 1 February 2011‎ imported>WikiSysop‎ 3,368 bytes −1‎ →‎Rodin Plug-in Documentation
• curprev 10:2710:27, 1 February 2011‎ imported>WikiSysop‎ 3,369 bytes +35‎ No edit summary
• curprev 10:2410:24, 1 February 2011‎ imported>WikiSysop‎ 3,334 bytes +134‎ →‎Rodin Plug-in Documentation
• curprev 10:1910:19, 1 February 2011‎ imported>WikiSysop‎ 3,200 bytes +115‎ →‎Rodin Plug-in Documentation

16 January 2011

• curprev 19:5719:57, 16 January 2011‎ imported>Roederja‎ 3,085 bytes +88‎ Add relevance filter plugin