Navigation
Special Pages
- Recent changes

User
- Log in

Using the Command-Line Version of ProB: 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 14:1314:13, 15 September 2023‎ Jan Gruteser talk contribs‎ m 40,875 bytes +242‎ →‎Options: add description of -property

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

curprev 06:2506:25, 12 December 2014‎ Michael Leuschel talk contribs‎ 31,253 bytes +419‎ →‎-cbc_deadlock_pred >

curprev 18:1818:18, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,834 bytes +125‎ →‎-cbc_cover Operation
curprev 18:1718:17, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,709 bytes +160‎ →‎-cb_tests Depth EndPredicate File
curprev 18:1518:15, 24 November 2014‎ Michael Leuschel talk contribs‎ 30,549 bytes +51‎ →‎-cb_cover Operation

curprev 14:4214:42, 30 October 2014‎ Lukas Ladenberger talk contribs‎ 30,498 bytes +22‎ No edit summary

curprev 10:4010:40, 23 July 2014‎ Michael Leuschel talk contribs‎ 29,795 bytes +24‎ No edit summary

curprev 16:3516:35, 8 July 2014‎ Michael Leuschel talk contribs‎ 29,771 bytes +1‎ →‎-repl
curprev 16:3416:34, 8 July 2014‎ Michael Leuschel talk contribs‎ 29,770 bytes +241‎ →‎-repl

curprev 12:2812:28, 26 June 2014‎ Michael Leuschel talk contribs‎ 29,529 bytes +240‎ →‎-c

curprev 14:0514:05, 20 May 2014‎ Dominik Hansen talk contribs‎ 29,289 bytes +1‎ →‎--timeout

curprev 10:0410:04, 21 June 2013‎ Michael Leuschel talk contribs‎ 29,288 bytes +14‎ No edit summary

curprev 10:4710:47, 27 November 2012‎ Michael Leuschel talk contribs‎ 29,274 bytes +113‎ →‎-repl
curprev 10:4510:45, 27 November 2012‎ Michael Leuschel talk contribs‎ 29,161 bytes +214‎ →‎-eval

curprev 08:4108:41, 19 September 2012‎ Michael Leuschel talk contribs‎ 28,947 bytes +232‎ No edit summary

curprev 13:4613:46, 7 September 2012‎ Michael Leuschel talk contribs‎ 28,715 bytes +119‎ →‎-cache

curprev 08:5508:55, 18 July 2012‎ Michael Leuschel talk contribs‎ 28,596 bytes +229‎ →‎-cache
curprev 08:4708:47, 18 July 2012‎ Michael Leuschel talk contribs‎ 28,367 bytes +524‎ No edit summary

curprev 05:3905:39, 16 June 2012‎ Michael Leuschel talk contribs‎ 27,843 bytes +175‎ No edit summary

curprev 07:3407:34, 3 June 2012‎ Michael Leuschel talk contribs‎ 27,668 bytes +47‎ →‎Preferences

curprev 16:3516:35, 3 May 2012‎ Michael Leuschel talk contribs‎ 27,621 bytes +30‎ →‎Preferences

curprev 06:1506:15, 20 March 2012‎ Daniel Plagge talk contribs‎ 27,591 bytes +54‎ →‎-csp-guide File
curprev 06:1506:15, 20 March 2012‎ Daniel Plagge talk contribs‎ 27,537 bytes +87‎ →‎-test_description File

curprev 14:5414:54, 10 February 2012‎ Michael Leuschel talk contribs‎ 27,450 bytes +80‎ →‎Preferences

curprev 07:0407:04, 5 October 2011‎ Michael Leuschel talk contribs‎ 25,652 bytes +219‎ →‎-sptxt
curprev 06:5906:59, 5 October 2011‎ Michael Leuschel talk contribs‎ 25,433 bytes +287‎ →‎-his

curprev 09:2109:21, 25 September 2011‎ Michael Leuschel talk contribs‎ 25,146 bytes +238‎ →‎-mc

curprev 12:4912:49, 20 September 2011‎ Michael Leuschel talk contribs‎ 24,908 bytes +187‎ →‎-animate

curprev 15:3615:36, 15 September 2011‎ Michael Leuschel talk contribs‎ 24,721 bytes +160‎ →‎-assertions
curprev 15:3515:35, 15 September 2011‎ Michael Leuschel talk contribs‎ 24,561 bytes +373‎ →‎-assertions

curprev 11:3211:32, 23 August 2011‎ Daniel Plagge talk contribs‎ 24,188 bytes +546‎ No edit summary

curprev 07:3207:32, 30 July 2011‎ Michael Leuschel talk contribs‎ 23,642 bytes +87‎ No edit summary

curprev 12:2012:20, 29 July 2011‎ Michael Leuschel talk contribs‎ 23,555 bytes +5‎ →‎-sptxt
curprev 08:5508:55, 29 July 2011‎ Michael Leuschel talk contribs‎ 23,550 bytes +187‎ →‎-dot_output

curprev 10:1310:13, 19 July 2011‎ Michael Leuschel talk contribs‎ 23,363 bytes +558‎ No edit summary
curprev 07:1507:15, 19 July 2011‎ Michael Leuschel talk contribs‎ 22,805 bytes +350‎ No edit summary
curprev 07:1107:11, 19 July 2011‎ Michael Leuschel talk contribs‎ 22,455 bytes +751‎ No edit summary

curprev 15:5815:58, 18 July 2011‎ Michael Leuschel talk contribs‎ 21,704 bytes −8‎ →‎Preferences
curprev 15:5715:57, 18 July 2011‎ Michael Leuschel talk contribs‎ 21,712 bytes +91‎ →‎Preferences
curprev 15:5515:55, 18 July 2011‎ Michael Leuschel talk contribs‎ 21,621 bytes +4‎ →‎-version
curprev 15:5515:55, 18 July 2011‎ Michael Leuschel talk contribs‎ 21,617 bytes +198‎ →‎-version

curprev 16:2516:25, 14 July 2011‎ Michael Leuschel talk contribs‎ 21,419 bytes +561‎ →‎Options

curprev 16:0016:00, 30 May 2011‎ Michael Leuschel talk contribs‎ 19,406 bytes +28‎ →‎Some probcli examples
curprev 15:5815:58, 30 May 2011‎ Michael Leuschel talk contribs‎ 19,378 bytes 0‎ →‎Some probcli examples
curprev 15:5815:58, 30 May 2011‎ Michael Leuschel talk contribs‎ 19,378 bytes +238‎ →‎Some probcli examples

curprev 12:4212:42, 18 April 2011‎ Joy Clark talk contribs‎ m 5,293 bytes −12‎ →‎Some probcli examples
curprev 12:4112:41, 18 April 2011‎ Joy Clark talk contribs‎ m 5,305 bytes −12‎ grammar and punctuatin

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