LP, the Larch Prover -- The directory setting
The directory setting sets the working directory for LP.
<set-directory-command> ::= set directory <file>
Examples
set directory ~/proofs
Usage
The working directory for LP is the directory in which it creates files in
response to the freeze,
set log, set script, and write
commands. A period (.) in the setting of lp-path refers
to this directory.
The default working directory is the directory in which LP was invoked.
The set directory command changes the working directory in all proof
contexts.