Rodin Platform 2.0 Release Notes: Revision history

10 January 2011

• curprev 15:3415:34, 10 January 2011‎ imported>Tommy‎ m 15,016 bytes −1‎ No edit summary

6 December 2010

• curprev 10:4910:49, 6 December 2010‎ imported>Tommy‎ m 15,017 bytes +83‎ No edit summary

1 December 2010

• curprev 14:2814:28, 1 December 2010‎ imported>Tommy‎ m 14,934 bytes −3,146‎ Extracted external plug-ins section to a page
• curprev 14:1114:11, 1 December 2010‎ imported>Tommy‎ m 18,080 bytes +8‎ →‎Other Updates Sites
• curprev 14:1014:10, 1 December 2010‎ imported>Tommy‎ m 18,072 bytes +31‎ →‎Other Updates Sites
• curprev 14:0714:07, 1 December 2010‎ imported>Tommy‎ 18,041 bytes +964‎ Created a table for external plug-in releses.

16 November 2010

• curprev 14:3314:33, 16 November 2010‎ imported>Nicolas‎ m 17,077 bytes +32‎ Added link to share theories
• curprev 13:1713:17, 16 November 2010‎ imported>Pascal‎ 17,045 bytes +65‎ →‎External Plug-ins

15 November 2010

• curprev 13:1013:10, 15 November 2010‎ imported>Daniel‎ 16,980 bytes +88‎ Added comment for ProB

11 November 2010

• curprev 15:5915:59, 11 November 2010‎ imported>Renato‎ 16,892 bytes +347‎ →‎Rodin Update Site

5 November 2010

• curprev 09:1209:12, 5 November 2010‎ imported>Nicolas‎ m 16,545 bytes +1‎ No edit summary
• curprev 09:1209:12, 5 November 2010‎ imported>Nicolas‎ m 16,544 bytes +67‎ No edit summary

4 November 2010

• curprev 17:2617:26, 4 November 2010‎ imported>Nicolas‎ m 16,477 bytes +50‎ added link to release notes for Rodin 2.0.1

20 October 2010

• curprev 20:0920:09, 20 October 2010‎ imported>Alexili‎ 16,427 bytes +106‎ No edit summary

19 October 2010

• curprev 14:2414:24, 19 October 2010‎ imported>Alexili‎ 16,321 bytes +129‎ No edit summary

18 October 2010

• curprev 07:4107:41, 18 October 2010‎ imported>Pascal‎ m 16,192 bytes 0‎ →‎other Updates Sites

17 October 2010

• curprev 19:4019:40, 17 October 2010‎ imported>Colin‎ 16,192 bytes +63‎ →‎Rodin Update Site

16 October 2010

• curprev 15:1215:12, 16 October 2010‎ imported>Colin‎ 16,129 bytes +413‎ →‎Rodin Update Site
• curprev 15:0115:01, 16 October 2010‎ imported>Colin‎ 15,716 bytes +1‎ →‎Rodin Update Site
• curprev 14:5914:59, 16 October 2010‎ imported>Colin‎ 15,715 bytes +182‎ →‎Rodin Update Site

14 October 2010

• curprev 17:3217:32, 14 October 2010‎ imported>Weigelt‎ 15,533 bytes +59‎ →‎other Updates Sites
• curprev 17:1117:11, 14 October 2010‎ imported>Weigelt‎ 15,474 bytes +141‎ No edit summary
• curprev 16:1516:15, 14 October 2010‎ imported>Colin‎ 15,333 bytes +1‎ →‎Rodin Update Site
• curprev 16:1316:13, 14 October 2010‎ imported>Colin‎ 15,332 bytes +256‎ →‎Rodin Update Site

12 October 2010

• curprev 11:3311:33, 12 October 2010‎ imported>Tommy‎ m 15,076 bytes +110‎ Added "About" section
• curprev 08:3308:33, 12 October 2010‎ imported>Tommy‎ m 14,966 bytes −44‎ →‎B Method Update Site
• curprev 03:3503:35, 12 October 2010‎ imported>Christophe‎ 15,010 bytes 0‎ →‎other Updates Sites

11 October 2010

• curprev 16:5216:52, 11 October 2010‎ imported>Pascal‎ 15,010 bytes −84‎ →‎Requirements
• curprev 16:5116:51, 11 October 2010‎ imported>Pascal‎ 15,094 bytes +46‎ →‎Downloading
• curprev 16:5016:50, 11 October 2010‎ imported>Pascal‎ m 15,048 bytes +1‎ →‎External Plug-ins
• curprev 16:4916:49, 11 October 2010‎ imported>Pascal‎ m 15,047 bytes +83‎ →‎External Plug-ins
• curprev 14:5414:54, 11 October 2010‎ imported>Tommy‎ m 14,964 bytes +81‎ →‎External Plug-ins
• curprev 14:3614:36, 11 October 2010‎ imported>Christophe‎ 14,883 bytes +120‎ →‎External Plug-ins

8 October 2010

• curprev 15:5415:54, 8 October 2010‎ imported>Tommy‎ m 14,763 bytes +128‎ →‎What's New in Rodin 2.0?
• curprev 15:4315:43, 8 October 2010‎ imported>Tommy‎ m 14,635 bytes +3,925‎ →‎Known Issues
• curprev 15:4215:42, 8 October 2010‎ imported>Tommy‎ m 10,710 bytes +3,701‎ Closed bugs & FR implemented

7 October 2010

• curprev 16:2016:20, 7 October 2010‎ imported>Tommy‎ m 7,009 bytes +473‎ →‎For Rodin 1.x plugin developers
• curprev 15:2915:29, 7 October 2010‎ imported>Tommy‎ m 6,536 bytes 0‎ →‎What's New in Rodin 2.0?
• curprev 15:2915:29, 7 October 2010‎ imported>Tommy‎ m 6,536 bytes +118‎ →‎What's New in Rodin 2.0?

4 October 2010

• curprev 12:0212:02, 4 October 2010‎ imported>Tommy‎ m 6,418 bytes −523‎ Fixed Brave Sans Mono issue in r9905. Removing requirement about installing it system-wide.

30 September 2010

• curprev 12:3612:36, 30 September 2010‎ imported>Tommy‎ m 6,941 bytes +158‎ →‎Requirements

28 September 2010

• curprev 09:3509:35, 28 September 2010‎ imported>Tommy‎ m 6,783 bytes +365‎ →‎Requirements

27 September 2010

• curprev 17:2317:23, 27 September 2010‎ imported>Nicolas‎ m 6,418 bytes −16‎ →‎For Rodin 1.x users

10 September 2010

• curprev 13:4213:42, 10 September 2010‎ imported>Nicolas‎ m 6,434 bytes +198‎ →‎For Rodin 1.x plugin developers

17 August 2010

• curprev 14:0514:05, 17 August 2010‎ imported>Tommy‎ m 6,236 bytes +724‎ →‎Requirements

11 August 2010

• curprev 16:2016:20, 11 August 2010‎ imported>Tommy‎ m 5,512 bytes +465‎ →‎What's New in Rodin 2.0?

28 July 2010

• curprev 10:0610:06, 28 July 2010‎ imported>Pascal‎ 5,047 bytes 0‎ →‎External plug-ins

27 July 2010

• curprev 15:5115:51, 27 July 2010‎ imported>Desaperh‎ 5,047 bytes +13‎ →‎What's New in Rodin 2.0?
• curprev 15:2515:25, 27 July 2010‎ imported>Desaperh‎ m 5,034 bytes +275‎ →‎What's New in Rodin 2.0?

23 July 2010

• curprev 14:5114:51, 23 July 2010‎ imported>Laurent‎ m 4,759 bytes −12‎ →‎Requirements