1.2 Installation
In eclipse go to Help > Find And Install; select the option
Search for new feature to install; click on Next; then click on
New Remote Site..., the address of the update site is
http://www-sop.inria.fr/everest/personnel/Julien.Charles/downloads/ProverEditorUpdateSite/.
After that you are asked if you want to restart
Eclipse. It is better
to answer yes to this question.