3.3 Library paths
If you right-click on a directory, ProverEditor add the item
Add to loadpath. It is used to tell to the prover to look into
the specified directories for its libraries.
This action adds an entry to the file .prover_paths, which is then
passed to the ide, the compiler and the top-level. The exact behaviour and
specifically how it is passed to the different provers is specific to
each plugins (see prover specific documentation).
The format of the file is one directory per line, with path relative
to the project path. To remove a directory just remove its line from
the file.