ADVANCE D3.3 Improvement of automated proof: 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:0510:05, 8 October 2013‎ imported>Nicolas‎ m 7,242 bytes +10‎ →‎Planning
curprev 10:0210:02, 8 October 2013‎ imported>Nicolas‎ 7,232 bytes −33‎ →‎Planning

curprev 13:3813:38, 7 October 2013‎ imported>Nicolas‎ m 7,265 bytes +1‎ →‎Motivations / Decisions: Fix spelling of plug-in

curprev 12:3312:33, 27 September 2013‎ imported>Nicolas‎ m 7,264 bytes +1‎ →‎Motivations / Decisions
curprev 12:3112:31, 27 September 2013‎ imported>Nicolas‎ m 7,263 bytes +123‎ →‎Motivations / Decisions

curprev 13:1013:10, 20 September 2013‎ imported>Nicolas‎ m 7,140 bytes +6‎ →‎Motivations / Decisions: Took M. Butler remarks into account

curprev 08:5708:57, 17 September 2013‎ imported>Nicolas‎ m 7,134 bytes +1‎ →‎Planning

curprev 17:2117:21, 16 September 2013‎ imported>Laurent‎ 7,133 bytes −26‎ →‎Planning
curprev 08:3208:32, 16 September 2013‎ imported>Jens‎ 7,159 bytes +159‎ →‎Planning

curprev 17:0917:09, 10 September 2013‎ imported>Jens‎ 7,000 bytes +916‎ →‎Motivations / Decisions

curprev 13:2813:28, 5 September 2013‎ imported>Laurent‎ 6,084 bytes −122‎ →‎Planning
curprev 08:4608:46, 5 September 2013‎ imported>Nicolas‎ m 6,206 bytes −1‎ →‎Motivations / Decisions: Use cup instead of bunion for tex compatibility

curprev 17:2817:28, 30 August 2013‎ imported>Laurent‎ 6,207 bytes +85‎ →‎Available Documentation
curprev 16:4016:40, 30 August 2013‎ imported>Laurent‎ 6,122 bytes +43‎ →‎Available Documentation
curprev 16:3616:36, 30 August 2013‎ imported>Laurent‎ m 6,079 bytes +19‎ →‎Available Documentation
curprev 16:3316:33, 30 August 2013‎ imported>Laurent‎ m 6,060 bytes +64‎ →‎Motivations / Decisions

curprev 12:3312:33, 27 August 2013‎ imported>Nicolas‎ m 2,491 bytes +10‎ Fix title levels

curprev 17:1917:19, 26 August 2013‎ imported>Laurent‎ 2,481 bytes 0‎ →‎Motivations / Decisions
curprev 17:1817:18, 26 August 2013‎ imported>Laurent‎ 2,481 bytes +4‎ →‎Overview

curprev 14:1914:19, 19 August 2013‎ imported>Nicolas‎ m 2,477 bytes +10‎ →‎Motivations / Decisions
curprev 13:5313:53, 19 August 2013‎ imported>Nicolas‎ 2,467 bytes −9‎ →‎Available Documentation
curprev 13:4313:43, 19 August 2013‎ imported>Nicolas‎ m 2,476 bytes +2,287‎ No edit summary

curprev 13:3213:32, 15 July 2013‎ imported>Nicolas‎ 189 bytes +189‎ First draft

Retrieved from ‘https://wiki.event-b.org/index.php/ADVANCE_D3.3_Improvement_of_automated_proof’

Navigation menu