LP, the Larch Prover -- The directory setting

The directory setting sets the working directory for LP.


<set-directory-command> ::= set directory <file>


set directory ~/proofs


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.