FAQ: Revision history

27 October 2011

• curprev 10:4910:49, 27 October 2011‎ imported>Ladenberger‎ 72 bytes −9,621‎ Replacing page with '[http://handbook.event-b.org/current/html/faq.html Rodin Handbook (FAQ)]'

6 September 2011

• curprev 08:4808:48, 6 September 2011‎ imported>Nicolas‎ 9,693 bytes +559‎ →‎General Tool Usage

16 June 2011

• curprev 16:2316:23, 16 June 2011‎ imported>Nicolas‎ m 9,134 bytes +323‎ →‎Do I lose my proofs when I clean a project ?
• curprev 15:5515:55, 16 June 2011‎ imported>Nicolas‎ m 8,811 bytes +6‎ →‎Do I lose my proofs when I clean a project ?
• curprev 15:5315:53, 16 June 2011‎ imported>Nicolas‎ 8,805 bytes +807‎ →‎General Tool Usage: added do I lose my proofs upon a clean

16 March 2011

• curprev 13:1713:17, 16 March 2011‎ imported>Nicolas‎ m 7,998 bytes +900‎ →‎General Tool Usage?

17 February 2011

• curprev 13:5713:57, 17 February 2011‎ imported>Nicolas‎ m 7,098 bytes +414‎ →‎General Tool Usage?

21 July 2010

• curprev 13:0113:01, 21 July 2010‎ imported>Laurent‎ m 6,684 bytes −5‎ →‎What are the ASCII shortcuts for mathematical operators

26 March 2010

• curprev 10:1210:12, 26 March 2010‎ imported>Jrloria‎ 6,689 bytes −6,384‎ move to Developer FAQ

24 March 2010

• curprev 18:0718:07, 24 March 2010‎ imported>Son‎ m 13,073 bytes −2‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as described here)?
• curprev 17:5317:53, 24 March 2010‎ imported>Son‎ m 13,075 bytes +2‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as described here)?
• curprev 17:5217:52, 24 March 2010‎ imported>Son‎ m 13,073 bytes +142‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as described here)?
• curprev 17:4017:40, 24 March 2010‎ imported>Son‎ m 12,931 bytes +1‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as described here)?
• curprev 17:4017:40, 24 March 2010‎ imported>Son‎ m 12,930 bytes +259‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as describe here)?
• curprev 17:3617:36, 24 March 2010‎ imported>Son‎ m 12,671 bytes −2‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 17:3517:35, 24 March 2010‎ imported>Son‎ m 12,673 bytes +456‎ →‎How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the Rodin DB as describe here)?
• curprev 17:2517:25, 24 March 2010‎ imported>Son‎ m 12,217 bytes +4‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 17:2517:25, 24 March 2010‎ imported>Son‎ m 12,213 bytes +241‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 17:1817:18, 24 March 2010‎ imported>Son‎ m 11,972 bytes +46‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 17:1817:18, 24 March 2010‎ imported>Son‎ m 11,926 bytes +1‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 17:1617:16, 24 March 2010‎ imported>Son‎ m 11,925 bytes +92‎ →‎How do I add a new attribute to existing elements (e.g. Event-B event)?
• curprev 15:3915:39, 24 March 2010‎ imported>Son‎ m 11,833 bytes +9‎ →‎How do I add a new attribute to existing elements (e.g. event)
• curprev 15:3815:38, 24 March 2010‎ imported>Son‎ 11,824 bytes +368‎ →‎How do I save the models ?

9 March 2010

• curprev 13:4413:44, 9 March 2010‎ imported>Son‎ m 11,456 bytes −1‎ →‎What are type expressions in Event-B?
• curprev 13:4213:42, 9 March 2010‎ imported>Son‎ m 11,457 bytes +1‎ →‎What are type expressions in Event-B
• curprev 13:4113:41, 9 March 2010‎ imported>Son‎ m 11,456 bytes +414‎ →‎I've added a witness for {{ident|Xyz}} but it keeps saying "Identifier {{ident|Xyz}} has not been defined"

27 October 2009

• curprev 15:1815:18, 27 October 2009‎ imported>Tommy‎ m 11,042 bytes +1‎ No edit summary

24 October 2009

• curprev 09:1209:12, 24 October 2009‎ imported>Laurent‎ 11,041 bytes +375‎ →‎Developer FAQ: added question about building headless
• curprev 08:3008:30, 24 October 2009‎ imported>Laurent‎ m 10,666 bytes +7‎ →‎Installing the sources from Subversion in Eclipse
• curprev 08:2808:28, 24 October 2009‎ imported>Laurent‎ m 10,659 bytes +1‎ →‎Installing the source bundle in Eclipse
• curprev 08:2608:26, 24 October 2009‎ imported>Laurent‎ 10,658 bytes +2,169‎ →‎How can I get the sources of the Rodin platform?: filled up
• curprev 06:4106:41, 24 October 2009‎ imported>Laurent‎ m 8,489 bytes +1‎ →‎Developer FAQ
• curprev 06:4006:40, 24 October 2009‎ imported>Laurent‎ 8,488 bytes +58‎ →‎Developer FAQ: added question about fetching sources
• curprev 06:3906:39, 24 October 2009‎ imported>Laurent‎ 8,430 bytes +135‎ →‎Using Rodin-SVN from eclipse consumes too much memory
• curprev 06:2706:27, 24 October 2009‎ imported>Laurent‎ m 8,295 bytes +4‎ →‎How do I generate a Rodin product from SVN?

16 October 2009

• curprev 11:5111:51, 16 October 2009‎ imported>Son‎ 8,291 bytes 0‎ →‎In {{event|INITIALISATION}}, I get Witness {{ident|Xyz}} must be a disappearing abstract variable or parameter
• curprev 11:5011:50, 16 October 2009‎ imported>Son‎ 8,291 bytes +32‎ →‎In {{event|INITIALISATION}}, I get Witness {{ident|Xyz}} must be a disappearing abstract variable or parameter
• curprev 10:2510:25, 16 October 2009‎ imported>Son‎ 8,259 bytes +3‎ →‎Modeling and Proving

14 August 2009

• curprev 08:5308:53, 14 August 2009‎ imported>Mathieu‎ m 8,256 bytes +37‎ →‎Rodin (and eclipse) doesn't take into account the MOZILLA_FIVE_HOME environment variable: add rodin.ini
• curprev 08:5108:51, 14 August 2009‎ imported>Mathieu‎ m 8,219 bytes −144‎ →‎Rodin (and eclipse) doesn't take into account the MOZILLA_FIVE_HOME environment variable
• curprev 08:5108:51, 14 August 2009‎ imported>Mathieu‎ m 8,363 bytes +410‎ →‎General Tool Usage?

18 May 2009

• curprev 14:4014:40, 18 May 2009‎ imported>Laurent‎ m 7,953 bytes +3‎ →‎Using Rodin-SVN from eclipse consumes too much memory
• curprev 14:3814:38, 18 May 2009‎ imported>Laurent‎ m 7,950 bytes 0‎ →‎Using Rodin-SVN from eclipse consumes too much memory: Fixed broken link

31 March 2009

• curprev 11:5511:55, 31 March 2009‎ imported>Mathieu‎ m 7,950 bytes 0‎ →‎Developer FAQ: CVS -> SVN

4 March 2009

• curprev 08:0908:09, 4 March 2009‎ imported>Laurent‎ m 7,950 bytes −1‎ →‎What is the difference between event-B and the B method?
• curprev 08:0608:06, 4 March 2009‎ imported>Laurent‎ 7,951 bytes +712‎ →‎General: Added topic on difference between event-B and classical B
• curprev 07:5207:52, 4 March 2009‎ imported>Laurent‎ m 7,239 bytes −5‎ →‎Where does the Rodin name come from?
• curprev 07:5207:52, 4 March 2009‎ imported>Laurent‎ 7,244 bytes +398‎ →‎Where does the Rodin name come from?: filled up text

3 March 2009

• curprev 13:5913:59, 3 March 2009‎ imported>Nicolas‎ m 6,846 bytes +356‎ →‎Developer FAQ

23 February 2009

• curprev 10:2510:25, 23 February 2009‎ imported>Mathieu‎ m 6,490 bytes +217‎ →‎Developer FAQ