Improved WD Lemma Generation: Revision history

From Event-B

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 09:4309:43, 19 June 2012‎ imported>Tommy‎ m 3,964 bytes −5‎ →‎Improved Generation

curprev 09:0309:03, 1 June 2012‎ imported>Tommy‎ m 3,969 bytes +35‎ Fixed the link about WD
curprev 08:3608:36, 1 June 2012‎ imported>Laurent‎ m 3,934 bytes −36‎ Work done

curprev 10:4210:42, 27 October 2011‎ imported>Ladenberger‎ 3,970 bytes +61‎ No edit summary

curprev 12:3812:38, 15 October 2010‎ imported>Desaperh‎ 3,909 bytes +124‎ No edit summary
curprev 12:3512:35, 15 October 2010‎ imported>Desaperh‎ 3,785 bytes +191‎ →‎Design for Improved Generation

curprev 11:3111:31, 13 October 2010‎ imported>Laurent‎ m 3,594 bytes −1‎ →‎Design for Improved Generation
curprev 11:3011:30, 13 October 2010‎ imported>Laurent‎ m 3,595 bytes +13‎ →‎Example D
curprev 11:3011:30, 13 October 2010‎ imported>Laurent‎ m 3,582 bytes −1‎ →‎Example C

curprev 14:2314:23, 20 August 2010‎ imported>Desaperh‎ m 3,583 bytes −48‎ No edit summary

curprev 13:1213:12, 24 June 2010‎ imported>Desaperh‎ m 3,631 bytes +97‎ No edit summary
curprev 12:3812:38, 24 June 2010‎ imported>Desaperh‎ 3,534 bytes +70‎ →‎Example D
curprev 12:3312:33, 24 June 2010‎ imported>Desaperh‎ 3,464 bytes +398‎ new example added

curprev 14:1214:12, 21 May 2010‎ imported>Desaperh‎ m 3,066 bytes +2‎ Design for Improved Generation
curprev 14:1014:10, 21 May 2010‎ imported>Desaperh‎ m 3,064 bytes +380‎ Design for Improved Generation

Retrieved from ‘https://wiki.event-b.org/index.php/Improved_WD_Lemma_Generation’

Navigation menu