Theory Release History: 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 13:5013:50, 1 April 2022‎ Guillaume talk contribs‎ 7,681 bytes +1,000‎ Theory plug-in release 4.0.4

curprev 13:1113:11, 29 September 2021‎ Guillaume talk contribs‎ 6,681 bytes +464‎ Theory plug-in release 4.0.3

curprev 14:5414:54, 14 June 2021‎ Guillaume talk contribs‎ 6,217 bytes +29‎ Add to Theory Plug-in category

curprev 12:1912:19, 4 June 2021‎ Guillaume talk contribs‎ 6,188 bytes +445‎ No edit summary

curprev 14:3114:31, 22 December 2020‎ Guillaume talk contribs‎ 5,743 bytes +2,285‎ No edit summary

curprev 15:2215:22, 19 December 2014‎ imported>Asiehsalehi‎ 3,458 bytes +111‎ →‎Releases
curprev 15:2015:20, 19 December 2014‎ imported>Asiehsalehi‎ 3,347 bytes +95‎ →‎News

curprev 14:2414:24, 10 July 2014‎ imported>Asiehsalehi‎ 3,252 bytes +88‎ →‎Releases
curprev 14:2314:23, 10 July 2014‎ imported>Asiehsalehi‎ 3,164 bytes +91‎ →‎News

curprev 11:2711:27, 24 June 2014‎ imported>Asiehsalehi‎ 3,073 bytes +91‎ →‎News
curprev 11:2711:27, 24 June 2014‎ imported>Asiehsalehi‎ 2,982 bytes +88‎ →‎Releases

curprev 13:0613:06, 30 April 2014‎ imported>Asiehsalehi‎ 2,894 bytes +133‎ →‎Releases
curprev 13:0413:04, 30 April 2014‎ imported>Asiehsalehi‎ 2,761 bytes +3‎ →‎News
curprev 13:0313:03, 30 April 2014‎ imported>Asiehsalehi‎ 2,758 bytes +162‎ →‎News

curprev 12:2212:22, 4 March 2013‎ imported>Asiehsalehi‎ m 2,596 bytes 0‎ Asiehsalehi moved page Theory News and Support to Theory Release History

curprev 13:5513:55, 20 April 2012‎ imported>Im06r‎ 3,181 bytes +153‎ →‎Releases
curprev 13:5313:53, 20 April 2012‎ imported>Im06r‎ 3,028 bytes +92‎ →‎News

curprev 16:2216:22, 15 August 2011‎ imported>Im06r‎ 2,936 bytes +219‎ →‎Releases
curprev 16:2016:20, 15 August 2011‎ imported>Im06r‎ 2,717 bytes +91‎ →‎News

curprev 15:4415:44, 6 August 2011‎ imported>Im06r‎ 2,626 bytes +137‎ →‎Releases
curprev 15:4215:42, 6 August 2011‎ imported>Im06r‎ 2,489 bytes 0‎ →‎News
curprev 15:4215:42, 6 August 2011‎ imported>Im06r‎ 2,489 bytes +90‎ →‎News

curprev 18:2018:20, 8 July 2011‎ imported>Im06r‎ 2,669 bytes +365‎ →‎Releases
curprev 18:1818:18, 8 July 2011‎ imported>Im06r‎ 2,304 bytes −7‎ →‎News

curprev 12:4412:44, 11 April 2011‎ imported>Im06r‎ 1,948 bytes +1‎ →‎Releases
curprev 12:4412:44, 11 April 2011‎ imported>Im06r‎ 1,947 bytes +79‎ →‎Releases
curprev 12:4312:43, 11 April 2011‎ imported>Im06r‎ 1,868 bytes +90‎ →‎News

curprev 18:3618:36, 5 January 2011‎ imported>Im06r‎ 1,778 bytes +91‎ →‎News
curprev 18:3618:36, 5 January 2011‎ imported>Im06r‎ 1,687 bytes +108‎ →‎Version 0.5

curprev 08:0708:07, 6 December 2010‎ imported>Im06r‎ 1,579 bytes −11‎ →‎News

curprev 20:3720:37, 10 November 2010‎ imported>Im06r‎ 1,590 bytes +1‎ →‎News
curprev 20:3720:37, 10 November 2010‎ imported>Im06r‎ 1,589 bytes +102‎ →‎News

curprev 22:2922:29, 3 November 2010‎ imported>Im06r‎ 1,487 bytes +43‎ →‎Features Requests and Bugs

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

Navigation menu