Rodin Platform 2.3 Release Notes: Revision history

8 November 2011

• curprev 09:3909:39, 8 November 2011‎ imported>Nicolas‎ m 10,828 bytes +44‎ →‎What's New in Rodin 2.3?

4 October 2011

• curprev 08:5508:55, 4 October 2011‎ imported>Tommy‎ m 10,784 bytes 0‎ No edit summary

30 September 2011

• curprev 16:3116:31, 30 September 2011‎ imported>Nicolas‎ m 10,784 bytes −76‎ →‎Fixed Bugs and Implemented Feature Requests
• curprev 16:3016:30, 30 September 2011‎ imported>Nicolas‎ 10,860 bytes +1,585‎ →‎Fixed Bugs
• curprev 16:2916:29, 30 September 2011‎ imported>Nicolas‎ m 9,275 bytes +4,252‎ →‎Known Issues
• curprev 16:0216:02, 30 September 2011‎ imported>Nicolas‎ m 5,023 bytes 0‎ →‎Upgrading from Rodin 2.1.x
• curprev 15:2215:22, 30 September 2011‎ imported>Nicolas‎ m 5,023 bytes +1,197‎ →‎Downloading
• curprev 14:5514:55, 30 September 2011‎ imported>Nicolas‎ m 3,826 bytes +1‎ →‎About

29 September 2011

• curprev 15:0415:04, 29 September 2011‎ imported>Nicolas‎ m 3,825 bytes +132‎ →‎Known Issues

26 September 2011

• curprev 16:1716:17, 26 September 2011‎ imported>Nicolas‎ m 3,693 bytes +33‎ →‎What's New in Rodin 2.3?

20 September 2011

• curprev 11:0911:09, 20 September 2011‎ imported>Nicolas‎ m 3,660 bytes +12‎ →‎What's New in Rodin 2.3?
• curprev 11:0811:08, 20 September 2011‎ imported>Nicolas‎ m 3,648 bytes +6‎ →‎What's New in Rodin 2.3?
• curprev 11:0711:07, 20 September 2011‎ imported>Nicolas‎ m 3,642 bytes +3‎ →‎What's New in Rodin 2.3?
• curprev 11:0711:07, 20 September 2011‎ imported>Nicolas‎ m 3,639 bytes +2‎ →‎What's New in Rodin 2.3?
• curprev 11:0511:05, 20 September 2011‎ imported>Nicolas‎ m 3,637 bytes +118‎ →‎What's New in Rodin 2.3?
• curprev 11:0211:02, 20 September 2011‎ imported>Nicolas‎ m 3,519 bytes +257‎ →‎What's New in Rodin 2.3?
• curprev 08:5108:51, 20 September 2011‎ imported>Nicolas‎ m 3,262 bytes 0‎ →‎About
• curprev 08:4308:43, 20 September 2011‎ imported>Nicolas‎ m 3,262 bytes 0‎ No edit summary
• curprev 08:4208:42, 20 September 2011‎ imported>Nicolas‎ m 3,262 bytes −91‎ →‎External plug-ins
• curprev 08:4108:41, 20 September 2011‎ imported>Nicolas‎ m 3,353 bytes +887‎ →‎Requirements
• curprev 08:3608:36, 20 September 2011‎ imported>Nicolas‎ m 2,466 bytes +6‎ →‎What's New in Rodin 2.3?
• curprev 08:3508:35, 20 September 2011‎ imported>Nicolas‎ 2,460 bytes +1,014‎ →‎What's New in Rodin 2.3?

26 July 2011

• curprev 14:3214:32, 26 July 2011‎ imported>Tommy‎ 1,446 bytes +9‎ →‎About
• curprev 14:3114:31, 26 July 2011‎ imported>Tommy‎ 1,437 bytes +1,437‎ New page: {{TOCright}} == What's New in Rodin 2.3? == * General Interface {{TODO | ...}} * Modelling {{TODO | ...}} * Proving {{TODO | ...}} * Changes for plugin-developers {{TODO | ...}} == Re...