LP, the Larch Prover -- The lp-path setting

The lp-path setting specifies a list of directories for LP to search when looking for input from a file.

Syntax

<set-lp-path-command> ::= set lp-path <string>

Examples

set lp-path . ~/myAxioms ~lp

Usage

The set lp-path command specifies a search path for LP to use when looking for help, .lp, or .lpfrz files. Its default value is ". ~lp/axioms". A period (.) in the value of lp-path refers to LP's current working directory. A tilde (~) in the value of lp-path refers to the user's home directory. An initial directory ~lp refers to the directory in which LP's runtime support was installed; see the installation instructions, the command-line options, and the version command for the location of this directory.