Past Developments: Revision history

27 February 2014

• curprev 16:5716:57, 27 February 2014‎ imported>Laurent‎ 6,269 bytes +90‎ →‎Mathematical Language V2

26 February 2013

• curprev 11:4611:46, 26 February 2013‎ imported>Laurent‎ 6,179 bytes +762‎ Move more tasks from Current Development
• curprev 11:3611:36, 26 February 2013‎ imported>Laurent‎ 5,417 bytes +1,815‎ Moved old tasks from Current development
• curprev 11:3411:34, 26 February 2013‎ imported>Laurent‎ 3,602 bytes +305‎ Move Event-B editor from current dev to past dev

25 January 2012

• curprev 16:1916:19, 25 January 2012‎ imported>Laurent‎ 3,297 bytes +287‎ →‎Core Platform: Add Revisiting Feasibility POs

31 March 2011

• curprev 13:4313:43, 31 March 2011‎ imported>Laurent‎ 3,010 bytes +882‎ →‎Deploy Tasks: Moved completed items for the core platform
• curprev 13:3813:38, 31 March 2011‎ imported>Laurent‎ m 2,128 bytes 0‎ →‎One Single View

13 August 2009

• curprev 16:0616:06, 13 August 2009‎ imported>Nicolas‎ m 2,128 bytes +643‎ Moved achieved work from current developments page

4 March 2009

• curprev 09:4309:43, 4 March 2009‎ imported>Mathieu‎ m 1,485 bytes +508‎ →‎Plug-ins: Requirement Management Plug-in
• curprev 09:4109:41, 4 March 2009‎ imported>Mathieu‎ m 977 bytes +426‎ One Single View

10 November 2008

• curprev 12:5112:51, 10 November 2008‎ imported>Mathieu‎ m 551 bytes +551‎ New page: {{TOCright}} This page sum up the developments recently done around or for the Rodin Platform, which are integrated or compatibles with the last platform revision. == Deploy Tasks == T...