FAQ: Revision history

30 October 2008

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