Using ProB with Atelier B: Revision history

24 January 2022

• 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

23 January 2022

• 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

19 August 2021

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

18 November 2020

• 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

17 September 2020

• curprev 09:5909:59, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,921 bytes 0‎ →‎Atelier B Plugin
• curprev 09:5809:58, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,921 bytes +26‎ →‎Atelier B Plugin
• curprev 09:5209:52, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,895 bytes −14‎ →‎Atelier B Plugin
• curprev 09:5109:51, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,909 bytes −12‎ →‎Atelier B Plugin
• curprev 09:5109:51, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,921 bytes 0‎ →‎Atelier B Plugin
• curprev 09:5009:50, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,921 bytes −1‎ →‎Atelier B Plugin
• curprev 09:5009:50, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,922 bytes +98‎ →‎Atelier B Plugin
• curprev 09:4809:48, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,824 bytes +60‎ →‎Atelier B Plugin
• curprev 09:4809:48, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,764 bytes +202‎ →‎Atelier B Plugin
• curprev 09:4009:40, 17 September 2020‎ Michael Leuschel talk contribs‎ 4,562 bytes +288‎ →‎Atelier B Plugin

14 May 2020

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

23 April 2020

• curprev 10:0910:09, 23 April 2020‎ Michael Leuschel talk contribs‎ 4,174 bytes −1‎ →‎Limitations
• curprev 10:0910:09, 23 April 2020‎ Michael Leuschel talk contribs‎ 4,175 bytes +287‎ →‎Limitations
• curprev 10:0710:07, 23 April 2020‎ Michael Leuschel talk contribs‎ 3,888 bytes +260‎ →‎Extra Features of ProB
• curprev 10:0310:03, 23 April 2020‎ Michael Leuschel talk contribs‎ 3,628 bytes −1‎ →‎Extra Features of ProB
• curprev 10:0310:03, 23 April 2020‎ Michael Leuschel talk contribs‎ 3,629 bytes +62‎ →‎Differences with Atelier B
• curprev 10:0010:00, 23 April 2020‎ Michael Leuschel talk contribs‎ 3,567 bytes −554‎ →‎Limitations
• curprev 09:5809:58, 23 April 2020‎ Michael Leuschel talk contribs‎ 4,121 bytes +117‎ →‎Extra Features of ProB

22 November 2016

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

5 February 2016

• 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

18 November 2015

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

16 December 2013

• 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

31 October 2012

• 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

27 February 2012

• 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

14 April 2011

• 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"

8 August 2010

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

12 March 2010

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

18 January 2010

• curprev 14:0214:02, 18 January 2010‎ Jens Bendisposto talk contribs‎ 2,926 bytes +8‎ No edit summary
• curprev 13:2513:25, 18 January 2010‎ Michael Leuschel talk contribs‎ 2,918 bytes +1‎ →‎Limitations
• curprev 13:2313:23, 18 January 2010‎ Michael Leuschel talk contribs‎ 2,917 bytes −589‎ No edit summary
• curprev 13:2113:21, 18 January 2010‎ Michael Leuschel talk contribs‎ 3,506 bytes +48‎ →‎Limitations
• curprev 13:1413:14, 18 January 2010‎ Michael Leuschel talk contribs‎ 3,458 bytes +376‎ →‎Extra Features of ProB
• curprev 13:1013:10, 18 January 2010‎ Michael Leuschel talk contribs‎ 3,082 bytes +3,082‎ Created page with ' Category:User Manual As of version 1.3, ProB contains a much improved parser which tries be compliant with Atelier B as much as possible. == Atelier B Plugin == There is…'