LP, the Larch Prover -- The push-settings and pop-settings commands
The push-settings and pop-settings commands save and restore the
values of the settings that control LP's operation.
<push-settings-command> ::= push-settings
<pop-settings-command> ::= pop-settings
Examples
push-settings
pop-settings
Usage
The push-settings command saves the current values of all
local settings by pushing them on a stack. The pop-settings
command restores the values of these settings by popping them off the stack.
The write command places the push-settings and pop-settings
commands in .lp files so that named axioms can be loaded from these files
without affecting the current name-prefix, activity, and
immunity settings.