Rodin Platform 3.2 Release Notes: Revision history

From Event-B

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 11:0911:09, 6 July 2017‎ imported>TIDTWeb‎ m 9,159 bytes +1‎ →‎What's New in Rodin 3.2?
curprev 10:5910:59, 6 July 2017‎ imported>TIDTWeb‎ m 9,158 bytes +1‎ →‎What's New in Rodin 3.2?

curprev 09:4209:42, 5 November 2015‎ imported>Laurent‎ 9,157 bytes +610‎ →‎About: Add MD5 sums

curprev 21:0021:00, 22 June 2015‎ imported>Tommy‎ m 8,547 bytes −33‎ →‎Using the automatic (and long) way
curprev 20:5820:58, 22 June 2015‎ imported>Tommy‎ m 8,580 bytes 0‎ →‎Using a local archive (fast method)
curprev 20:5620:56, 22 June 2015‎ imported>Tommy‎ m 8,580 bytes +287‎ →‎Upgrading from Rodin 3.1
curprev 20:1020:10, 22 June 2015‎ imported>Tommy‎ m 8,293 bytes −37‎ →‎About

curprev 13:3813:38, 19 June 2015‎ imported>Tommy‎ m 8,330 bytes +16‎ →‎Upgrading from Rodin 3.0
curprev 13:3813:38, 19 June 2015‎ imported>Tommy‎ m 8,314 bytes +16‎ →‎Upgrading from Rodin 3.1

curprev 17:5217:52, 17 June 2015‎ imported>Tommy‎ m 5,649 bytes −429‎ →‎Fixed Bugs and Implemented Features
curprev 17:4517:45, 17 June 2015‎ imported>Tommy‎ m 6,078 bytes +34‎ →‎Fixed Bugs and Implemented Features
curprev 17:4217:42, 17 June 2015‎ imported>Tommy‎ m 6,044 bytes +1,772‎ →‎Fixed Bugs and Implemented Features
curprev 10:0810:08, 17 June 2015‎ imported>Tommy‎ m 4,272 bytes 0‎ →‎Upgrading from Rodin 3.0

curprev 08:5808:58, 16 June 2015‎ imported>Tommy‎ 4,272 bytes +4,272‎ Created page with "{{TOCright}} == What's New in Rodin 3.2? == Rodin 3.2 is mainly a corrective version of the Rodin platform. Thus there isn't new major feature to be described here. === Cha..."

Retrieved from ‘https://wiki.event-b.org/index.php/Rodin_Platform_3.2_Release_Notes’

Navigation menu