LP, the Larch Prover -- The unset command
The unset command returns settings to their default values.
Note: The argument to the unset command can be
<unset-command> ::= unset ( <setting-name> | 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.
- The set command for a description of the legal settings and their