Help

Running ProB from source: Revision history

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.

(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)

12 January 2018

  • curprev 10:0110:01, 12 January 2018‎ Michael Leuschel talk contribs‎ 922 bytes +922‎ Created page with " Starting ProB Tcl/Tk: sicstus -Dprob_profile=true -l src/prob_tcltk.pl --goal "go."' Starting probcli from source: alias probsli='rlwrap $SICSTUSDIR/bin/sicstus -l src/pro..."
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://prob.hhu.de/w/index.php?title=Running_ProB_from_source"