Rodin Platform 2.0 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 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?

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.

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

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

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

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

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

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

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

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?

curprev 14:5114:51, 23 July 2010‎ imported>Laurent‎ m 4,759 bytes −12‎ →‎Requirements
curprev 14:4914:49, 23 July 2010‎ imported>Laurent‎ m 4,771 bytes −3‎ →‎What's New in Rodin 2.0?

curprev 16:1116:11, 16 July 2010‎ imported>Tommy‎ m 4,652 bytes −16‎ →‎Migrating to JVM 1.6
curprev 16:0116:01, 16 July 2010‎ imported>Tommy‎ m 4,668 bytes +488‎ →‎For Rodin 1.x plugin developers
curprev 13:1413:14, 16 July 2010‎ imported>Tommy‎ m 4,180 bytes 0‎ →‎Requirements

curprev 13:1113:11, 5 July 2010‎ imported>Pascal‎ m 4,180 bytes +37‎ No edit summary

curprev 16:2616:26, 25 June 2010‎ imported>Pascal‎ 690 bytes −1‎ →‎Requirements

curprev 15:5115:51, 10 May 2010‎ imported>Pascal‎ 691 bytes −177‎ →‎What's New in Rodin 2.0?

curprev 11:4811:48, 13 November 2009‎ imported>Mathieu‎ m 868 bytes +14‎ No edit summary

curprev 16:1216:12, 14 September 2009‎ imported>Pascal‎ 854 bytes +64‎ No edit summary

curprev 13:3513:35, 8 September 2009‎ imported>Nicolas‎ m 790 bytes +158‎ →‎What's New in Rodin 2.0?
curprev 12:0412:04, 8 September 2009‎ imported>Pascal‎ 632 bytes +632‎ →‎Creation

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

Navigation menu