Template:News: Revision history

21 June 2012

• curprev 14:1514:15, 21 June 2012‎ imported>Tommy‎ m 883 bytes −377‎ Removed the rodin releases info as they appear in the Rodin news

26 July 2011

• curprev 13:3613:36, 26 July 2011‎ imported>Tommy‎ m 1,260 bytes −34‎ Reverted edits by Tommy (Talk); changed back to last version by Mathieu
• curprev 13:3513:35, 26 July 2011‎ imported>Tommy‎ m 1,294 bytes −86‎ No edit summary

7 June 2011

• curprev 08:1208:12, 7 June 2011‎ imported>Tommy‎ m 1,380 bytes +120‎ →‎Displayed as follow on the Main Page

5 April 2011

• curprev 21:2321:23, 5 April 2011‎ imported>Mathieu‎ m 1,260 bytes −1,469‎ →‎Displayed as follow on the Main Page

9 February 2011

• curprev 09:2109:21, 9 February 2011‎ imported>Tommy‎ m 2,729 bytes +125‎ No edit summary

14 October 2010

• curprev 13:4413:44, 14 October 2010‎ imported>Tommy‎ m 2,604 bytes +125‎ No edit summary

1 October 2010

• curprev 16:1916:19, 1 October 2010‎ imported>Im06r‎ 2,479 bytes −108‎ No edit summary

1 December 2009

• curprev 15:4815:48, 1 December 2009‎ imported>Im06r‎ 2,587 bytes +108‎ No edit summary

20 October 2009

• curprev 12:3512:35, 20 October 2009‎ imported>Pascal‎ 2,479 bytes +127‎ →‎Displayed as follow on the Main Page

12 October 2009

• curprev 06:1706:17, 12 October 2009‎ imported>Mathieu‎ m 2,352 bytes +86‎ New Flows and Modularisation plug-in pages

15 September 2009

• curprev 09:0609:06, 15 September 2009‎ imported>Pascal‎ 2,266 bytes +91‎ →‎Displayed as follow on the Main Page

12 August 2009

• curprev 12:0512:05, 12 August 2009‎ imported>Mathieu‎ m 2,175 bytes +125‎ Three new examples added since June. New page about Event Model Decomposition
• curprev 11:5011:50, 12 August 2009‎ imported>Mathieu‎ m 2,050 bytes −12‎ typo
• curprev 11:5011:50, 12 August 2009‎ imported>Mathieu‎ m 2,062 bytes +217‎ No edit summary

29 July 2009

• curprev 07:3807:38, 29 July 2009‎ imported>Felix-loesch‎ 1,845 bytes +91‎ No edit summary

18 June 2009

• curprev 09:0909:09, 18 June 2009‎ imported>WikiSysop‎ 1,754 bytes +85‎ No edit summary

21 May 2009

• curprev 14:3514:35, 21 May 2009‎ imported>WikiSysop‎ 1,669 bytes +113‎ →‎Displayed as follow on the Main Page

17 April 2009

• curprev 08:4708:47, 17 April 2009‎ imported>Mathieu‎ m 1,556 bytes +115‎ 17/04/09: Rodin User and Developer Workshop at University of Southampton, 16+17 July 2009

19 March 2009

• curprev 12:2112:21, 19 March 2009‎ imported>Mathieu‎ m 1,441 bytes −112‎ Rodin application to GSoC rejected

18 March 2009

• curprev 17:5517:55, 18 March 2009‎ imported>WikiSysop‎ 1,553 bytes −1‎ →‎Displayed as follow on the Main Page
• curprev 10:1610:16, 18 March 2009‎ imported>WikiSysop‎ 1,554 bytes +112‎ No edit summary

13 March 2009

• curprev 12:5212:52, 13 March 2009‎ imported>Mathieu‎ m 1,442 bytes +144‎ →‎Displayed as follow on the Main Page: Rodin is registered as a GSoC applicant
• curprev 08:3808:38, 13 March 2009‎ imported>Mathieu‎ m 1,298 bytes +94‎ →‎Displayed as follow on the Main Page: Everybody can now create its own account and edit this wiki

10 March 2009

• curprev 08:5508:55, 10 March 2009‎ imported>Mathieu‎ m 1,204 bytes +87‎ * 09/09/09: New page for Rodin application to GSoC 2009
• curprev 08:5308:53, 10 March 2009‎ imported>Mathieu‎ m 1,117 bytes +54‎ * 06/09/09: New page about Auto-Completion Design

3 March 2009

• curprev 08:2508:25, 3 March 2009‎ imported>Mathieu‎ m 1,063 bytes +182‎ →‎Displayed as follow on the Main Page

26 February 2009

• curprev 18:2218:22, 26 February 2009‎ imported>Mathieu‎ m 881 bytes +236‎ No edit summary

23 January 2009

• curprev 10:0610:06, 23 January 2009‎ imported>Mathieu‎ m 645 bytes +2‎ →‎Displayed as follow on the Main Page: red link

13 January 2009

• curprev 10:4210:42, 13 January 2009‎ imported>Mathieu‎ m 643 bytes −312‎ No edit summary

6 January 2009

• curprev 16:2116:21, 6 January 2009‎ imported>Nicolas‎ m 955 bytes +8‎ →‎Displayed as follow on the Main Page

5 January 2009

• curprev 12:1712:17, 5 January 2009‎ imported>Mathieu‎ m 947 bytes +51‎ →‎Displayed as follow on the Main Page: Mailing lists

17 December 2008

• curprev 15:0815:08, 17 December 2008‎ imported>Renato‎ 896 bytes +40‎ Undo revision 2213 by Renato (Talk)

16 December 2008

• curprev 18:2818:28, 16 December 2008‎ imported>Renato‎ 856 bytes −40‎ →‎Displayed as follow on the Main Page
• curprev 18:2218:22, 16 December 2008‎ imported>Renato‎ 896 bytes +40‎ No edit summary
• curprev 13:0513:05, 16 December 2008‎ imported>Renato‎ 856 bytes −40‎ →‎Displayed as follow on the Main Page

11 December 2008

• curprev 22:2022:20, 11 December 2008‎ imported>Mathieu‎ m 896 bytes +53‎ No edit summary

11 November 2008

• curprev 20:3420:34, 11 November 2008‎ imported>Mathieu‎ m 843 bytes +1‎ No edit summary
• curprev 20:3320:33, 11 November 2008‎ imported>Mathieu‎ m 842 bytes −154‎ Update of Current Developments (// composition & Refactoring * 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?g

7 November 2008

• curprev 09:2609:26, 7 November 2008‎ imported>Mathieu‎ m 996 bytes +207‎ →‎Displayed as follow on the Main Page: Release of Rodin platform 0.9

30 October 2008

• curprev 13:3613:36, 30 October 2008‎ imported>Mathieu‎ m 789 bytes +135‎ Developer documentation on accessing projects and elements

28 October 2008

• curprev 13:5813:58, 28 October 2008‎ imported>Mathieu‎ m 654 bytes −83‎ Developer documentation for accessing proof obligation.

14 October 2008

• curprev 08:5508:55, 14 October 2008‎ imported>Jastram‎ 737 bytes +88‎ →‎Displayed as follow on the Main Page

9 October 2008

• curprev 12:0812:08, 9 October 2008‎ imported>Mathieu‎ m 649 bytes −2‎ rewording

3 October 2008

• curprev 13:0813:08, 3 October 2008‎ imported>Mathieu‎ m 651 bytes +1‎ →‎Displayed as follow on the Main Page
• curprev 13:0713:07, 3 October 2008‎ imported>Mathieu‎ m 650 bytes +28‎ No edit summary
• curprev 13:0613:06, 3 October 2008‎ imported>Mathieu‎ m 622 bytes +99‎ 03/10/2008: [[Scenario for Merging Proofs] created. Single view updated

29 September 2008

• curprev 12:1312:13, 29 September 2008‎ imported>Mathieu‎ m 523 bytes 0‎ No edit summary
• curprev 12:1312:13, 29 September 2008‎ imported>Mathieu‎ m 523 bytes +33‎ cat
• curprev 09:5109:51, 29 September 2008‎ imported>Mathieu‎ m 490 bytes +490‎ New page: <noinclude> == Displayed as follow on the Main Page == <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> </noinclude><!--- News to add here below : ==== ---> * 2...