Using the Command-Line Version of ProB: Revision history

15 September 2023

• curprev 14:1314:13, 15 September 2023‎ Jan Gruteser talk contribs‎ m 40,875 bytes +242‎ →‎Options: add description of -property

6 November 2022

• curprev 17:0717:07, 6 November 2022‎ Michael Leuschel talk contribs‎ 40,633 bytes 0‎ No edit summary
• curprev 17:0317:03, 6 November 2022‎ Michael Leuschel talk contribs‎ 40,633 bytes +49‎ No edit summary

4 February 2021

• curprev 15:4515:45, 4 February 2021‎ David Geleßus talk contribs‎ 40,584 bytes +698‎ Document -pref_group (from prob2-doc, originally added by Michael Leuschel)

29 September 2019

• curprev 06:0606:06, 29 September 2019‎ Michael Leuschel talk contribs‎ 39,886 bytes +199‎ →‎-logxml
• curprev 06:0506:05, 29 September 2019‎ Michael Leuschel talk contribs‎ 39,687 bytes −6‎ →‎-logxml
• curprev 06:0206:02, 29 September 2019‎ Michael Leuschel talk contribs‎ 39,693 bytes +135‎ →‎-logxml

5 June 2019

• curprev 09:2709:27, 5 June 2019‎ Michael Leuschel talk contribs‎ 39,558 bytes +49‎ →‎Environment Variables

22 October 2018

• curprev 10:5710:57, 22 October 2018‎ Michael Leuschel talk contribs‎ 39,509 bytes +93‎ →‎Preferences

4 January 2017

• curprev 13:4613:46, 4 January 2017‎ Michael Leuschel talk contribs‎ 39,416 bytes +104‎ →‎-repl

9 November 2016

• curprev 08:3108:31, 9 November 2016‎ Michael Leuschel talk contribs‎ 39,312 bytes +2‎ →‎-logxml_write_vars PREFIX
• curprev 08:3108:31, 9 November 2016‎ Michael Leuschel talk contribs‎ 39,310 bytes +453‎ →‎-logxml
• curprev 08:2708:27, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,857 bytes +8‎ →‎-strict
• curprev 08:2708:27, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,849 bytes +93‎ →‎-strict
• curprev 08:2108:21, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,756 bytes +35‎ →‎-no
• curprev 08:1708:17, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,721 bytes −1‎ →‎-no
• curprev 08:1608:16, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,722 bytes +62‎ →‎-no
• curprev 08:1308:13, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,660 bytes +33‎ →‎-execute
• curprev 08:0908:09, 9 November 2016‎ Michael Leuschel talk contribs‎ 38,627 bytes +1,067‎ →‎-animate
• curprev 07:0907:09, 9 November 2016‎ Michael Leuschel talk contribs‎ 37,560 bytes −12‎ No edit summary
• curprev 07:0807:08, 9 November 2016‎ Michael Leuschel talk contribs‎ 37,572 bytes −1‎ No edit summary

13 July 2016

• curprev 14:2414:24, 13 July 2016‎ Michael Leuschel talk contribs‎ 37,573 bytes +306‎ →‎-l

18 April 2016

• curprev 06:1906:19, 18 April 2016‎ Michael Leuschel talk contribs‎ 37,267 bytes +572‎ →‎-mcm_tests

29 March 2016

• curprev 17:4217:42, 29 March 2016‎ Michael Leuschel talk contribs‎ 36,695 bytes +37‎ →‎-disable_timeout
• curprev 17:3717:37, 29 March 2016‎ Michael Leuschel talk contribs‎ 36,658 bytes +415‎ →‎-no
• curprev 17:3417:34, 29 March 2016‎ Michael Leuschel talk contribs‎ 36,243 bytes +362‎ No edit summary

26 February 2016

• curprev 10:0610:06, 26 February 2016‎ Michael Leuschel talk contribs‎ 35,881 bytes +100‎ →‎-version
• curprev 10:0510:05, 26 February 2016‎ Michael Leuschel talk contribs‎ 35,781 bytes +631‎ →‎-version

2 September 2015

• curprev 08:4808:48, 2 September 2015‎ Michael Leuschel talk contribs‎ 35,150 bytes +210‎ →‎Some probcli examples

29 June 2015

• curprev 17:2917:29, 29 June 2015‎ Michael Leuschel talk contribs‎ 34,940 bytes +155‎ →‎Preferences

17 April 2015

• curprev 10:0910:09, 17 April 2015‎ Michael Leuschel talk contribs‎ 34,785 bytes +10‎ →‎-mc_mode

16 April 2015

• curprev 17:0917:09, 16 April 2015‎ Michael Leuschel talk contribs‎ 34,775 bytes +117‎ →‎-mc_mode
• curprev 15:0815:08, 16 April 2015‎ Michael Leuschel talk contribs‎ 34,658 bytes +4‎ →‎-mc_mode M
• curprev 15:0715:07, 16 April 2015‎ Michael Leuschel talk contribs‎ 34,654 bytes +60‎ →‎-mc_mode M
• curprev 15:0615:06, 16 April 2015‎ Michael Leuschel talk contribs‎ 34,594 bytes +997‎ →‎-df
• curprev 15:0015:00, 16 April 2015‎ Michael Leuschel talk contribs‎ 33,597 bytes +22‎ →‎-bf

4 March 2015

• curprev 17:0117:01, 4 March 2015‎ Michael Leuschel talk contribs‎ 33,575 bytes +356‎ →‎-cbc_assertions

20 February 2015

• curprev 11:4911:49, 20 February 2015‎ Michael Leuschel talk contribs‎ 33,219 bytes +8‎ →‎-cbc_assertions
• curprev 11:4811:48, 20 February 2015‎ Michael Leuschel talk contribs‎ 33,211 bytes +351‎ →‎-cbc_assertions
• curprev 11:4511:45, 20 February 2015‎ Michael Leuschel talk contribs‎ 32,860 bytes +81‎ →‎-cbc_assertions
• curprev 11:4411:44, 20 February 2015‎ Michael Leuschel talk contribs‎ 32,779 bytes +172‎ →‎--timeout
• curprev 11:4211:42, 20 February 2015‎ Michael Leuschel talk contribs‎ 32,607 bytes +50‎ →‎Preferences

19 February 2015

• curprev 13:5913:59, 19 February 2015‎ Bivab talk contribs‎ 32,557 bytes +75‎ No edit summary
• curprev 07:1107:11, 19 February 2015‎ Michael Leuschel talk contribs‎ 32,482 bytes +340‎ →‎-mc

16 January 2015

• curprev 08:4008:40, 16 January 2015‎ Michael Leuschel talk contribs‎ 32,142 bytes +173‎ →‎-bmc
• curprev 08:3908:39, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,969 bytes +2‎ →‎-csp-guide File
• curprev 08:3908:39, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,967 bytes +2‎ →‎-test_description File
• curprev 08:3808:38, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,965 bytes +6‎ →‎-cbc_tests Depth EndPredicate File
• curprev 08:3808:38, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,959 bytes +2‎ →‎-cbc_cover Operation
• curprev 08:3808:38, 16 January 2015‎ Michael Leuschel talk contribs‎ 31,957 bytes +29‎ →‎-spdot