LP, the Larch Prover — The directory setting


The directory setting sets the working directory for LP.

Syntax

<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.