FAQ: Revision history

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
• curprev 10:1710:17, 23 February 2009‎ imported>Mathieu‎ m 6,273 bytes +1‎ →‎Labels of proof tree nodes explained: typo
• curprev 10:1610:16, 23 February 2009‎ imported>Mathieu‎ m 6,272 bytes +35‎ →‎How can I do a Proof by Induction?
• curprev 10:1510:15, 23 February 2009‎ imported>Mathieu‎ m 6,237 bytes +435‎ →‎Identifier {{ident|Xyz}} should not occur free in a witness
• curprev 10:0710:07, 23 February 2009‎ imported>Mathieu‎ m 5,802 bytes −10‎ →‎Identifier {{ident|Xyz}} should not occur free in a witness error
• curprev 10:0610:06, 23 February 2009‎ imported>Mathieu‎ m 5,812 bytes +96‎ →‎I've added a witness for {{ident|Xyz}} but it keeps saying "Identifier {{ident|Xyz}} has not been defined": ''Identifier {{ident|Xyz}} should not occur free in a witness'' error

11 February 2009

• curprev 15:1015:10, 11 February 2009‎ imported>Laurent‎ m 5,716 bytes −2‎ →‎How do I generate a Rodin product from CVS?
• curprev 15:0915:09, 11 February 2009‎ imported>Laurent‎ 5,718 bytes +623‎ Added question for ASCII shortcuts + event-B explorer.

21 January 2009

• curprev 08:2108:21, 21 January 2009‎ imported>Mathieu‎ m 5,095 bytes +117‎ →‎Labels of proof tree nodes explained

15 January 2009

• curprev 17:2517:25, 15 January 2009‎ imported>Mathieu‎ m 4,978 bytes +9‎ Add ?
• curprev 17:2417:24, 15 January 2009‎ imported>Mathieu‎ m 4,969 bytes −28‎ →‎What does mean the abbreviations showing at some proof tree nodes: change awkward title
• curprev 17:2117:21, 15 January 2009‎ imported>Mathieu‎ m 4,997 bytes +2‎ →‎What do mean the abbreviations showing at some proof tree nodes
• curprev 17:2117:21, 15 January 2009‎ imported>Mathieu‎ m 4,995 bytes +472‎ →‎Modeling and Proving: some explanatio for abbreviations showing at some proof tree nodes

11 December 2008

• curprev 22:2422:24, 11 December 2008‎ imported>Mathieu‎ m 4,523 bytes −20‎ Category:User FAQ

19 November 2008

• curprev 22:5822:58, 19 November 2008‎ imported>Laurent‎ m 4,543 bytes −1‎ →‎How do I collect debug information from the Rodin plateform
• curprev 22:5622:56, 19 November 2008‎ imported>Laurent‎ m 4,544 bytes −1‎ →‎How do I collect debug informations from the Rodin plateform

13 November 2008

• curprev 09:0909:09, 13 November 2008‎ imported>Mathieu‎ m 4,545 bytes +40‎ →‎The builder takes too long: use templates

12 November 2008

• curprev 12:0612:06, 12 November 2008‎ imported>Laurent‎ 4,505 bytes +488‎ →‎The builder takes too long: fixed TODO.

10 November 2008

• curprev 10:5910:59, 10 November 2008‎ imported>Mathieu‎ m 4,017 bytes +37‎ Category:Developer documentation
• curprev 10:5810:58, 10 November 2008‎ imported>Mathieu‎ m 3,980 bytes +179‎ →‎Developer FAQ: How do I track memory leaks
• curprev 10:5210:52, 10 November 2008‎ imported>Mathieu‎ m 3,801 bytes +9‎ →‎How do I submit a patch
• curprev 10:2810:28, 10 November 2008‎ imported>Mathieu‎ m 3,792 bytes 0‎ →‎How do I submit a patch: typo
• curprev 10:2710:27, 10 November 2008‎ imported>Mathieu‎ m 3,792 bytes +107‎ →‎Developer FAQ: How do I submit a patch

31 October 2008

• curprev 10:4210:42, 31 October 2008‎ imported>Mathieu‎ m 3,685 bytes −1‎ →‎Developer FAQ
• curprev 10:4210:42, 31 October 2008‎ imported>Mathieu‎ m 3,686 bytes +625‎ →‎Developer FAQ: How do I collect debug informations from the Rodin plateform

30 October 2008

• curprev 14:1314:13, 30 October 2008‎ imported>Mathieu‎ m 3,061 bytes −13‎ {{TOCright}} not very useful for a FAQ
• curprev 14:0614:06, 30 October 2008‎ imported>Mathieu‎ m 3,074 bytes +144‎ Reorganization + induction proof

30 September 2008

• curprev 09:4609:46, 30 September 2008‎ imported>Mathieu‎ m 2,930 bytes +1‎ →‎The builder takes too long
• curprev 09:4509:45, 30 September 2008‎ imported>Mathieu‎ m 2,929 bytes +559‎ →‎Tool usage: The builder takes too long

29 September 2008

• curprev 12:4812:48, 29 September 2008‎ imported>Mathieu‎ m 2,370 bytes +549‎ →‎Tool usage: about witness usage
• curprev 12:0212:02, 29 September 2008‎ imported>Mathieu‎ m 1,821 bytes +1‎ →‎Developer FAQ: typo
• curprev 11:5411:54, 29 September 2008‎ imported>Mathieu‎ m 1,820 bytes +566‎ Developer FAQ / How do I generate a ''Rodin'' product from CVS

26 September 2008

• curprev 17:2517:25, 26 September 2008‎ imported>Mathieu‎ m 1,254 bytes +1‎ →‎How do I install external plug-ins withou using Eclipse Update Manager
• curprev 17:2517:25, 26 September 2008‎ imported>Mathieu‎ m 1,253 bytes +1‎ →‎How do I install external plug-ins withou using Eclipse Update Manager

18 September 2008

• curprev 15:5915:59, 18 September 2008‎ imported>Mathieu‎ m 1,252 bytes +33‎ No edit summary
• curprev 12:2812:28, 18 September 2008‎ imported>Mathieu‎ m 1,219 bytes +1,219‎ New page: == General == === What is Event-B === '''Event-B''' is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, t...