Skip to content
Nuno Macedo edited this page May 28, 2018 · 5 revisions

Installation instructions

Echo is deployed over the Eclipse (Kepler) Modeling Tools . The following steps assume a fresh installation of Eclipse.

For Mac OS users, versions of Java earlier than 7up40 have an issue with the bridge between AWT and SWT that does not allow the embedding of the Alloy Visualizer in Eclipse. This is fixed in posterior releases.

Clone this wiki locally