Event-B Mathematical Language: Revision history

23 January 2014

• curprev 11:2811:28, 23 January 2014‎ imported>Laurent‎ 1,457 bytes +37‎ →‎Specification Documents: Updated link to concise summary and added refcard

27 October 2011

• curprev 08:3408:34, 27 October 2011‎ imported>Ladenberger‎ 1,420 bytes −16‎ No edit summary
• curprev 08:3208:32, 27 October 2011‎ imported>Ladenberger‎ 1,436 bytes −125‎ No edit summary

16 September 2011

• curprev 15:1815:18, 16 September 2011‎ imported>Ladenberger‎ 1,561 bytes +250‎ No edit summary

24 March 2011

• curprev 15:2815:28, 24 March 2011‎ imported>Nomeata‎ 1,311 bytes +129‎ No edit summary

10 November 2010

• curprev 19:2519:25, 10 November 2010‎ imported>Wohuai‎ 1,182 bytes −48‎ No edit summary

30 August 2010

• curprev 13:3513:35, 30 August 2010‎ imported>Wohuai‎ m 1,230 bytes −34‎ No edit summary
• curprev 11:5311:53, 30 August 2010‎ imported>Wohuai‎ 1,264 bytes +689‎ No edit summary

17 August 2010

• curprev 11:4911:49, 17 August 2010‎ imported>Wohuai‎ 575 bytes −154‎ No edit summary

11 January 2010

• curprev 09:2209:22, 11 January 2010‎ imported>Wohuai‎ 729 bytes +154‎ No edit summary

7 April 2009

• curprev 08:4308:43, 7 April 2009‎ imported>Laurent‎ 575 bytes +415‎ Math lang V2

31 October 2008

• curprev 15:0515:05, 31 October 2008‎ imported>Mathieu‎ m 160 bytes −36‎ →‎Event-B mathematical language
• curprev 15:0515:05, 31 October 2008‎ imported>Mathieu‎ m 196 bytes −190‎ No wiki format will be produced.

10 September 2008

• curprev 20:2720:27, 10 September 2008‎ imported>Mathieu‎ m 386 bytes −1‎ Robot: Changing Category:User Documentation

11 August 2008

• curprev 15:2815:28, 11 August 2008‎ imported>Mathieu‎ m 387 bytes +18‎ orig version
• curprev 15:2815:28, 11 August 2008‎ imported>Mathieu‎ m 369 bytes +197‎ add link to wiki doc

10 July 2008

• curprev 10:5710:57, 10 July 2008‎ imported>Mathieu‎ m 172 bytes +55‎ No edit summary

12 June 2008

• curprev 12:2912:29, 12 June 2008‎ imported>WikiSysop‎ 117 bytes +1‎ No edit summary
• curprev 12:2912:29, 12 June 2008‎ imported>WikiSysop‎ 116 bytes −1‎ No edit summary
• curprev 12:0512:05, 12 June 2008‎ imported>WikiSysop‎ 117 bytes +117‎ New page: Event-B mathematical language in PDF format: [http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf]