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.