3.4 Pop-up menu
If you right click on a file editable by Prover Editor (ie. a file from
a prover) Prover Editor add as a menu item a compile button as well as launch
IDE button. The compilation is done through the compiler which was specified
in the prover configuration dialog, and the IDE is also
the one specified for the prover configuration. The load path for the
project is given to the compiler or the IDE.