Navigation
Special Pages
- Recent changes

User
- Log in

Using ProB with Atelier B: Revision history

View logs for this page

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 07:5307:53, 30 April 2023‎ Michael Leuschel talk contribs‎ 8,963 bytes −1‎ →‎Extra Features of ProB
curprev 07:5207:52, 30 April 2023‎ Michael Leuschel talk contribs‎ 8,964 bytes +447‎ →‎Extra Features of ProB

curprev 11:5711:57, 11 March 2022‎ Michael Leuschel talk contribs‎ 7,595 bytes +84‎ →‎Extra Features of ProB
curprev 11:5611:56, 11 March 2022‎ Michael Leuschel talk contribs‎ 7,511 bytes +73‎ →‎Extra Features of ProB

curprev 08:4908:49, 24 January 2022‎ Michael Leuschel talk contribs‎ 7,438 bytes 0‎ →‎Atelier B Plugin
curprev 08:4808:48, 24 January 2022‎ Michael Leuschel talk contribs‎ 7,438 bytes +181‎ →‎ProB as Atelier B Prover

curprev 15:3215:32, 23 January 2022‎ Michael Leuschel talk contribs‎ 7,257 bytes +762‎ →‎Atelier B Plugin
curprev 15:1615:16, 23 January 2022‎ Michael Leuschel talk contribs‎ 6,495 bytes −26‎ No edit summary
curprev 15:1515:15, 23 January 2022‎ Michael Leuschel talk contribs‎ 6,521 bytes +780‎ →‎Atelier B Plugin

curprev 09:2309:23, 19 August 2021‎ Michael Leuschel talk contribs‎ 5,741 bytes +130‎ →‎Limitations

curprev 14:1414:14, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,611 bytes +2‎ →‎Atelier B Plugin
curprev 14:1414:14, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,609 bytes +203‎ →‎Atelier B Plugin
curprev 14:0214:02, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,406 bytes +214‎ →‎Atelier B Plugin
curprev 14:0014:00, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,192 bytes +271‎ →‎Atelier B Plugin

curprev 08:0508:05, 14 May 2020‎ Michael Leuschel talk contribs‎ 4,274 bytes +100‎ →‎Extra Features of ProB

curprev 18:2318:23, 22 November 2016‎ Michael Leuschel talk contribs‎ 4,004 bytes +31‎ →‎Atelier B Plugin

curprev 07:1207:12, 5 February 2016‎ Michael Leuschel talk contribs‎ 3,973 bytes +16‎ →‎Limitations
curprev 07:0907:09, 5 February 2016‎ Michael Leuschel talk contribs‎ 3,957 bytes −1‎ →‎Extra Features of ProB
curprev 07:0907:09, 5 February 2016‎ Michael Leuschel talk contribs‎ 3,958 bytes +385‎ No edit summary

curprev 08:3108:31, 18 November 2015‎ Michael Leuschel talk contribs‎ 3,573 bytes +30‎ →‎Limitations

curprev 16:2716:27, 16 December 2013‎ Michael Leuschel talk contribs‎ 3,543 bytes +258‎ →‎Extra Features of ProB
curprev 16:1816:18, 16 December 2013‎ Michael Leuschel talk contribs‎ 3,285 bytes +200‎ →‎Extra Features of ProB

curprev 09:3109:31, 31 October 2012‎ Michael Leuschel talk contribs‎ 3,085 bytes +13‎ →‎Extra Features of ProB
curprev 09:3009:30, 31 October 2012‎ Michael Leuschel talk contribs‎ 3,072 bytes +123‎ →‎Extra Features of ProB
curprev 09:2909:29, 31 October 2012‎ Michael Leuschel talk contribs‎ 2,949 bytes +10‎ →‎Extra Features of ProB

curprev 16:0816:08, 27 February 2012‎ Michael Leuschel talk contribs‎ 2,939 bytes +18‎ No edit summary
curprev 16:0616:06, 27 February 2012‎ Michael Leuschel talk contribs‎ 2,921 bytes −106‎ No edit summary

curprev 13:2713:27, 14 April 2011‎ Joy Clark talk contribs‎ m 3,027 bytes +1‎ No edit summary
curprev 13:2713:27, 14 April 2011‎ Joy Clark talk contribs‎ m 3,026 bytes +30‎ grammatical edits, punctuation edits, changed "well-definedness" to "clarity"

curprev 15:2415:24, 8 August 2010‎ Michael Leuschel talk contribs‎ 2,996 bytes −5‎ →‎Extra Features of ProB

curprev 17:3317:33, 12 March 2010‎ Michael Leuschel talk contribs‎ 3,001 bytes +75‎ →‎Extra Features of ProB

Retrieved from "https://prob.hhu.de/w/index.php?title=Using_ProB_with_Atelier_B"