Preferences page
The page allows to set preferences about:
The compiler
The preference page of the compiler allows to:
- define the directory where the internal file the output files for the provers wil be written.
The directory root is the eclipse project.
- define the default JML path that will be associated to each project.
- choose to generate obvious proof obligations (JACK contains a minimalist prover that discards some obvious PO)
- choose to generate output files for the different plugged provers.
The editor
The preference page of the editor allows to:
- set the font
- choose the prover to show in the lemma view
- select the colors of JML comments and keywords.