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.