Decomposition 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 10:2110:21, 25 November 2014‎ imported>Andy‎ 2,577 bytes +91‎ No edit summary

curprev 15:2615:26, 4 July 2013‎ imported>Asiehsalehi‎ 2,486 bytes +97‎ →‎Version x.y
curprev 10:5010:50, 4 July 2013‎ imported>Asiehsalehi‎ 2,389 bytes +10‎ →‎Version 1.2.6

curprev 15:1715:17, 15 February 2013‎ imported>Asiehsalehi‎ 2,379 bytes −3‎ →‎Version 1.2.6
curprev 15:0615:06, 15 February 2013‎ imported>Asiehsalehi‎ 2,382 bytes +337‎ No edit summary

curprev 16:1616:16, 11 December 2012‎ imported>Asiehsalehi‎ 2,045 bytes +123‎ No edit summary

curprev 11:0811:08, 16 August 2012‎ imported>Renato‎ 1,922 bytes +205‎ →‎Version 1.2.3

curprev 09:5209:52, 25 June 2012‎ imported>Renato‎ 1,717 bytes −1‎ →‎Version 1.2.3
curprev 09:3609:36, 25 June 2012‎ imported>Renato‎ 1,718 bytes +528‎ →‎Version 1.2.2

curprev 14:4614:46, 23 March 2012‎ imported>Tommy‎ m 1,190 bytes +19‎ No edit summary

curprev 15:3415:34, 29 June 2011‎ imported>Renato‎ 1,171 bytes +10‎ →‎Version 1.2.1
curprev 15:3315:33, 29 June 2011‎ imported>Renato‎ 1,161 bytes +146‎ →‎Version 1.1.0

curprev 12:2412:24, 8 November 2010‎ imported>Renato‎ 1,015 bytes +250‎ →‎Version x.y

curprev 11:3111:31, 2 June 2010‎ imported>Pascal‎ 765 bytes +4‎ →‎Version 1.0.2

curprev 17:1817:18, 28 May 2010‎ imported>Renato‎ 761 bytes +434‎ →‎Version x.y

curprev 11:4711:47, 1 March 2010‎ imported>Nicolas‎ 327 bytes +150‎ No edit summary

curprev 10:4710:47, 20 January 2010‎ imported>Pascal‎ m 177 bytes −4‎ No edit summary
curprev 10:4010:40, 20 January 2010‎ imported>Pascal‎ 181 bytes −31‎ →‎Version 1.0.0

curprev 15:2815:28, 18 November 2009‎ imported>Pascal‎ m 212 bytes −8‎ →‎Version x.x.x
curprev 15:2815:28, 18 November 2009‎ imported>Pascal‎ 220 bytes +220‎ →‎Creation

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

Navigation menu