LP, the Larch Prover -- The stop command


The stop command returns control over LP to the user.

Syntax

<stop-command> ::= stop

Examples

stop

Usage

The stop command causes LP to stop
executing commands from files, thereby enabling the user to enter commands again from the terminal.