Rodin Developer Support: Revision history

30 July 2015

• curprev 12:4512:45, 30 July 2015‎ imported>Tommy‎ m 8,563 bytes +68‎ No edit summary

24 October 2014

• curprev 07:4407:44, 24 October 2014‎ imported>Son‎ 8,495 bytes +220‎ No edit summary
• curprev 07:4207:42, 24 October 2014‎ imported>Son‎ 8,275 bytes +78‎ No edit summary
• curprev 07:3907:39, 24 October 2014‎ imported>Son‎ 8,197 bytes +111‎ →‎Setting up Eclipse Workspace
• curprev 07:3607:36, 24 October 2014‎ imported>Son‎ 8,086 bytes +783‎ →‎1. Building against a version of Rodin
• curprev 07:2607:26, 24 October 2014‎ imported>Son‎ m 7,303 bytes +1‎ →‎How to start (step-by-step)
• curprev 07:2507:25, 24 October 2014‎ imported>Son‎ m 7,302 bytes +17‎ →‎How to start
• curprev 07:2507:25, 24 October 2014‎ imported>Son‎ m 7,285 bytes +728‎ No edit summary

22 May 2013

• curprev 16:3616:36, 22 May 2013‎ imported>Nicolas‎ 6,557 bytes −64‎ →‎Building against a version of Rodin
• curprev 16:2816:28, 22 May 2013‎ imported>Nicolas‎ 6,621 bytes −72‎ →‎Version Control

14 December 2012

• curprev 17:5017:50, 14 December 2012‎ imported>Laurent‎ m 6,693 bytes +2‎ →‎Building against a version of Rodin
• curprev 17:5017:50, 14 December 2012‎ imported>Laurent‎ 6,691 bytes −215‎ →‎Building against a version of Rodin: Change recommended practice
• curprev 16:5916:59, 14 December 2012‎ imported>Laurent‎ 6,906 bytes +251‎ Add section about Rodin 3.0

11 May 2012

• curprev 07:4007:40, 11 May 2012‎ imported>Colin‎ 6,655 bytes −489‎ →‎Publishing

28 October 2011

• curprev 11:2811:28, 28 October 2011‎ imported>Laurent‎ 7,144 bytes +227‎ →‎Debugging: add pointers to Eclipse resources.

27 October 2011

• curprev 10:0010:00, 27 October 2011‎ imported>Ladenberger‎ 6,917 bytes +41‎ →‎Event-B Component Library
• curprev 10:0010:00, 27 October 2011‎ imported>Ladenberger‎ 6,876 bytes +81‎ →‎Event-B User Interface
• curprev 09:5609:56, 27 October 2011‎ imported>Ladenberger‎ 6,795 bytes +127‎ →‎Event-B User Interface

24 October 2011

• curprev 14:4914:49, 24 October 2011‎ imported>Tommy‎ m 6,668 bytes +352‎ →‎Useful Hints

12 July 2011

• curprev 17:2517:25, 12 July 2011‎ imported>Colin‎ 6,316 bytes +11‎ →‎Building against a version of Rodin

18 May 2011

• curprev 09:5109:51, 18 May 2011‎ imported>Colin‎ 6,305 bytes −43‎ →‎Publishing

3 February 2011

• curprev 10:0710:07, 3 February 2011‎ imported>Colin‎ 6,348 bytes +414‎ →‎Publishing

2 June 2010

• curprev 07:5307:53, 2 June 2010‎ imported>Jrloria‎ 5,934 bytes +8‎ →‎Extending Rodin
• curprev 07:5107:51, 2 June 2010‎ imported>Jrloria‎ 5,926 bytes −56‎ correct redirect

20 May 2010

• curprev 14:2514:25, 20 May 2010‎ imported>Renato‎ 5,982 bytes +36‎ →‎Extending Rodin
• curprev 11:4911:49, 20 May 2010‎ imported>Renato‎ 5,946 bytes −36‎ →‎Extending Rodin
• curprev 11:3611:36, 20 May 2010‎ imported>Renato‎ 5,982 bytes +36‎ →‎Extending Rodin

12 April 2010

• curprev 13:5213:52, 12 April 2010‎ imported>Tommy‎ m 5,946 bytes +39‎ →‎Extending Rodin

26 March 2010

• curprev 16:0116:01, 26 March 2010‎ imported>Son‎ m 5,907 bytes −4‎ →‎Rodin Developer FAQ
• curprev 10:0210:02, 26 March 2010‎ imported>Jrloria‎ 5,911 bytes +14‎ →‎Rodin Developer FAQ
• curprev 10:0110:01, 26 March 2010‎ imported>Jrloria‎ 5,897 bytes +6‎ →‎Rodin Platform Overview

24 March 2010

• curprev 15:4415:44, 24 March 2010‎ imported>Son‎ m 5,891 bytes 0‎ →‎Extending Rodin
• curprev 15:4415:44, 24 March 2010‎ imported>Son‎ m 5,891 bytes +74‎ →‎Extending Rodin

8 January 2010

• curprev 19:4819:48, 8 January 2010‎ imported>Colin‎ 5,817 bytes +299‎ →‎Version Control
• curprev 19:3819:38, 8 January 2010‎ imported>Colin‎ 5,518 bytes +676‎ →‎Version Control

4 June 2009

• curprev 17:2117:21, 4 June 2009‎ imported>Nicolas‎ m 4,842 bytes +28‎ →‎Event-B Component Library

2 June 2009

• curprev 16:4716:47, 2 June 2009‎ imported>Jrloria‎ 4,814 bytes +20‎ →‎Rodin Platform Overview

13 March 2009

• curprev 19:0719:07, 13 March 2009‎ imported>Laurent‎ 4,794 bytes +345‎ →‎Useful Hints: Switch to Subversion

3 March 2009

• curprev 14:1114:11, 3 March 2009‎ imported>Nicolas‎ 4,449 bytes +83‎ →‎Event-B User Interface

20 February 2009

• curprev 10:2910:29, 20 February 2009‎ imported>Mathieu‎ m 4,366 bytes +14‎ →‎Rodin Developer FAQ

6 January 2009

• curprev 16:5916:59, 6 January 2009‎ imported>Nicolas‎ m 4,352 bytes +7‎ →‎Event-B User Interface
• curprev 16:2816:28, 6 January 2009‎ imported>Nicolas‎ m 4,345 bytes +20‎ →‎Event-B User Interface

17 December 2008

• curprev 16:0416:04, 17 December 2008‎ imported>Nicolas‎ m 4,325 bytes +26‎ →‎Rodin Platform Core

16 December 2008

• curprev 16:2316:23, 16 December 2008‎ imported>Nicolas‎ 4,299 bytes +28‎ →‎Rodin Platform Core
• curprev 16:1816:18, 16 December 2008‎ imported>Nicolas‎ 4,271 bytes +17‎ →‎Rodin Platform Core

12 December 2008

• curprev 12:4312:43, 12 December 2008‎ imported>Nicolas‎ m 4,254 bytes +50‎ →‎Event-B User Interface

10 December 2008

• curprev 16:5216:52, 10 December 2008‎ imported>Nicolas‎ 4,204 bytes +123‎ →‎Event-B User Interface
• curprev 15:4715:47, 10 December 2008‎ imported>Nicolas‎ m 4,081 bytes −4‎ →‎Extending Rodin
• curprev 15:4115:41, 10 December 2008‎ imported>Nicolas‎ m 4,085 bytes +23‎ →‎Extending Rodin

5 December 2008

• curprev 17:3217:32, 5 December 2008‎ imported>Nicolas‎ m 4,062 bytes +2‎ →‎Rodin Platform Core