Extending the Proof Manager: 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:2710:27, 27 October 2011‎ imported>Ladenberger‎ 2,834 bytes +126‎ No edit summary

curprev 17:3217:32, 24 November 2010‎ imported>Nicolas‎ m 2,708 bytes +86‎ →‎Adding a New Reasoner

curprev 12:5212:52, 12 August 2009‎ imported>Mathieu‎ m 2,622 bytes +19‎ Category:Proof

curprev 16:5316:53, 17 September 2008‎ imported>Mathieu‎ m 2,603 bytes +68‎ cat

curprev 17:5317:53, 16 September 2008‎ imported>Son‎ 2,535 bytes +31‎ →‎Adding a New Tactic
curprev 17:4317:43, 16 September 2008‎ imported>Son‎ 2,504 bytes +417‎ No edit summary
curprev 12:4312:43, 16 September 2008‎ imported>Son‎ 2,087 bytes −55‎ →‎Adding a New Reasoner

curprev 13:5213:52, 15 September 2008‎ imported>Son‎ 2,142 bytes −58‎ No edit summary

curprev 16:0116:01, 13 September 2008‎ imported>Son‎ 2,200 bytes −88‎ No edit summary

curprev 08:1808:18, 12 September 2008‎ imported>Son‎ 2,288 bytes −3,715‎ No edit summary
curprev 08:1708:17, 12 September 2008‎ imported>Son‎ 6,003 bytes −19‎ No edit summary

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

Navigation menu