minor fix in help output

parent bb76a3b1
......@@ -193,17 +193,18 @@
(format #t "
HELP FOR PROLOG COMMANDS
---------------------------------------------------------------------
(.n ) try to find n solutions
(.all | .*) try to find all solutions
(.once | .1) try to find one solution
(.mute | .m) no value output is written.
(.n ) try to find n solutions
(.all | .* ) try to find all solutions
(.once | .1 ) try to find one solution
(.mute | .m ) no value output is written.
---------------------------------------------------------------------
(.save | .s) <ref> associate current state with ref
(.load | .l) <ref> restore associate state with ref
(.cont | .c) continue the execution from last stall point
(.save | .s ) <ref> associate current state with ref
(.load | .l ) <ref> restore associate state with ref
(.cont | .c ) continue the execution from last stall point
(.lold | .lo) restore the last state at a stall
---------------------------------------------------------------------
(.ref ) <ref> get value of reference variable ref
(.set ) <ref> <val> set user variable ref to value val
(.ref ) <ref> get value of reference variable ref
(.set ) <ref> <val> set user variable ref to value val
---------------------------------------------------------------------
")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment