LP, the Larch Prover -- The unset command

The unset command returns settings to their default values.


<unset-command> ::= unset ( <setting-name>  | all )
Note: The argument to the unset command can be abbreviated.


unset script
unset all
The unset command sets the value of <setting-name> to its default value. In particular, unset script stops recording user input in a script file and unset log stops recording the session in a log file. The unset all command sets the value of all settings to their defaults.

See also