Previous Up Next

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.


Previous Up Next