Template:Main Page/User Documentation: Revision history

15 January 2019

• curprev 14:2214:22, 15 January 2019‎ imported>Colin‎ 1,825 bytes −1‎ →‎Displayed as follow on the Main Page
• curprev 14:2214:22, 15 January 2019‎ imported>Colin‎ 1,826 bytes +1‎ →‎Displayed as follow on the Main Page

4 July 2013

• curprev 13:2713:27, 4 July 2013‎ imported>Tommy‎ m 1,825 bytes −151‎ No edit summary

30 May 2013

• curprev 12:3612:36, 30 May 2013‎ imported>Tommy‎ m 1,976 bytes −27‎ →‎Displayed as follow on the Main Page
• curprev 12:3112:31, 30 May 2013‎ imported>Tommy‎ m 2,003 bytes +193‎ →‎Displayed as follow on the Main Page

18 February 2013

• curprev 16:1416:14, 18 February 2013‎ imported>Andy‎ 1,810 bytes +79‎ →‎Displayed as follow on the Main Page

25 January 2013

• curprev 10:2710:27, 25 January 2013‎ imported>Tommy‎ m 1,731 bytes −58‎ Fixed presentation of the documentation after my last commit
• curprev 10:2510:25, 25 January 2013‎ imported>Tommy‎ m 1,789 bytes +252‎ Adding the rodin leaflet to the available documentation links

19 October 2012

• curprev 15:1615:16, 19 October 2012‎ imported>WikiSysop‎ 1,537 bytes −38‎ →‎Displayed as follow on the Main Page
• curprev 15:1415:14, 19 October 2012‎ imported>WikiSysop‎ 1,575 bytes +51‎ →‎Displayed as follow on the Main Page

17 August 2012

• curprev 07:2707:27, 17 August 2012‎ imported>Ladenberger‎ 1,524 bytes −18‎ →‎Displayed as follow on the Main Page

27 October 2011

• curprev 10:4810:48, 27 October 2011‎ imported>Ladenberger‎ 1,542 bytes −57‎ →‎Displayed as follow on the Main Page
• curprev 08:1108:11, 27 October 2011‎ imported>Ladenberger‎ 1,599 bytes +2‎ →‎Displayed as follow on the Main Page
• curprev 08:0808:08, 27 October 2011‎ imported>Ladenberger‎ 1,597 bytes +23‎ →‎Displayed as follow on the Main Page

13 June 2011

• curprev 13:2113:21, 13 June 2011‎ imported>Jastram‎ 1,574 bytes +56‎ Adding Handbook link

1 October 2010

• curprev 16:2116:21, 1 October 2010‎ imported>Im06r‎ 1,518 bytes +30‎ →‎Displayed as follow on the Main Page

7 January 2010

• curprev 13:5413:54, 7 January 2010‎ imported>Colin‎ 1,488 bytes −34‎ →‎Displayed as follow on the Main Page
• curprev 13:2413:24, 7 January 2010‎ imported>Colin‎ 1,522 bytes +6‎ →‎Displayed as follow on the Main Page
• curprev 13:1313:13, 7 January 2010‎ imported>Colin‎ 1,516 bytes 0‎ →‎Displayed as follow on the Main Page
• curprev 13:1213:12, 7 January 2010‎ imported>Colin‎ 1,516 bytes +12‎ →‎Displayed as follow on the Main Page
• curprev 13:0913:09, 7 January 2010‎ imported>Colin‎ 1,504 bytes 0‎ →‎Displayed as follow on the Main Page
• curprev 13:0913:09, 7 January 2010‎ imported>Colin‎ 1,504 bytes +16‎ →‎Displayed as follow on the Main Page

10 September 2009

• curprev 15:0215:02, 10 September 2009‎ imported>Jastram‎ 1,488 bytes +18‎ →‎Displayed as follow on the Main Page

23 January 2009

• curprev 11:5011:50, 23 January 2009‎ imported>Jastram‎ 1,470 bytes −7‎ No edit summary
• curprev 10:2510:25, 23 January 2009‎ imported>Mathieu‎ m 1,477 bytes +38‎ →‎Displayed as follow on the Main Page: ''Examples'' category

15 January 2009

• curprev 16:3416:34, 15 January 2009‎ imported>Mathieu‎ m 1,439 bytes +266‎ Add Event-B Examples

12 December 2008

• curprev 14:3914:39, 12 December 2008‎ imported>Mathieu‎ m 1,173 bytes +87‎ →‎Displayed as follow on the Main Page
• curprev 13:5113:51, 12 December 2008‎ imported>Mathieu‎ m 1,086 bytes +247‎ Some display tweak. Allow to add some small subjects

29 September 2008

• curprev 12:1112:11, 29 September 2008‎ imported>Mathieu‎ m 839 bytes +52‎ categorization
• curprev 10:1310:13, 29 September 2008‎ imported>Mathieu‎ m 787 bytes −4‎ No edit summary
• curprev 10:1210:12, 29 September 2008‎ imported>Mathieu‎ m 791 bytes +180‎ No edit summary
• curprev 10:0810:08, 29 September 2008‎ imported>Mathieu‎ m 611 bytes +611‎ New page: Event-B Language | <small>Mathematical Language • Modelling Language • ''Event-B'' category</...