LP, the Larch Prover — The quit command
The
quit command
causes LP to terminate.
Syntax
<quit-command> ::=
quit
|
q
Examples
quit
Usage
The
quit
command causes LP to halt, returning the user to the operating system. Any
script
or
log
file is closed.