Previous Up

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.




Previous Up