Rodin Platform 2.1.1 Release Notes: Revision history

1 June 2011

• curprev 13:1513:15, 1 June 2011‎ imported>Nicolas‎ m 3,110 bytes −6‎ →‎Downloading
• curprev 13:0613:06, 1 June 2011‎ imported>Nicolas‎ m 3,116 bytes −5‎ →‎Upgrading from Rodin 2.1 (recommended)

29 March 2011

• curprev 08:4008:40, 29 March 2011‎ imported>Tommy‎ m 3,121 bytes +1‎ →‎About
• curprev 08:4008:40, 29 March 2011‎ imported>Tommy‎ m 3,120 bytes +180‎ →‎About

17 March 2011

• curprev 15:0215:02, 17 March 2011‎ imported>Tommy‎ m 2,940 bytes +37‎ →‎Installing
• curprev 14:5914:59, 17 March 2011‎ imported>Nicolas‎ m 2,903 bytes +122‎ →‎Upgrading from Rodin 2.1
• curprev 13:4413:44, 17 March 2011‎ imported>Nicolas‎ m 2,781 bytes +74‎ →‎What's New in Rodin 2.1.1 ?
• curprev 13:3513:35, 17 March 2011‎ imported>Nicolas‎ m 2,707 bytes +280‎ →‎Installing

11 March 2011

• curprev 17:4417:44, 11 March 2011‎ imported>Tommy‎ m 2,427 bytes −4‎ No edit summary
• curprev 17:3617:36, 11 March 2011‎ imported>Nicolas‎ m 2,431 bytes −14‎ →‎Upgrading from Rodin 2.1
• curprev 17:3217:32, 11 March 2011‎ imported>Nicolas‎ m 2,445 bytes −93‎ →‎Upgrading from Rodin 2.1
• curprev 17:2217:22, 11 March 2011‎ imported>Nicolas‎ m 2,538 bytes −17‎ →‎About
• curprev 16:4016:40, 11 March 2011‎ imported>Nicolas‎ m 2,555 bytes 0‎ →‎About
• curprev 16:3616:36, 11 March 2011‎ imported>Nicolas‎ m 2,555 bytes +186‎ →‎Installing
• curprev 16:2316:23, 11 March 2011‎ imported>Nicolas‎ m 2,369 bytes 0‎ →‎About
• curprev 16:2216:22, 11 March 2011‎ imported>Nicolas‎ m 2,369 bytes +48‎ →‎About

10 March 2011

• curprev 17:4417:44, 10 March 2011‎ imported>Nicolas‎ m 2,321 bytes −18‎ →‎Upgrading from Rodin 2.1
• curprev 17:3917:39, 10 March 2011‎ imported>Nicolas‎ m 2,339 bytes −539‎ No edit summary
• curprev 17:3317:33, 10 March 2011‎ imported>Nicolas‎ m 2,878 bytes +253‎ →‎What's New in Rodin 2.1.1 ?
• curprev 17:0017:00, 10 March 2011‎ imported>Nicolas‎ m 2,625 bytes +230‎ →‎About

7 March 2011

• curprev 11:0111:01, 7 March 2011‎ imported>Nicolas‎ m 2,395 bytes −250‎ →‎Upgrading from Rodin 2.1

4 March 2011

• curprev 10:4410:44, 4 March 2011‎ imported>Nicolas‎ m 2,645 bytes +1,141‎ →‎Downloading

3 March 2011

• curprev 16:5616:56, 3 March 2011‎ imported>Nicolas‎ m 1,504 bytes +1,504‎ New page: {{TOCright}} == What's New in Rodin 2.1.1 ? == * General Interface {{TODO | ...}} * Modelling {{TODO | ...}} * Proving {{TODO | ...}} * Changes for plugin-developers {{TODO | ...}} ==...