10:0110:01, 12 January 2018diffhist+922 N
Running ProB from source
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..."