FAQ: Revision history

23 February 2009

• 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...