Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box.
Visit Isabelle/Eclipse website for more details.
Isabelle/Eclipse is available both as standalone Isabelle/Eclipse IDE and as plug-ins for Eclipse to be installed via Update Manager.
The latest stable version is 1.2.0 for Isabelle 2013. Download it from the following links:
Isabelle/Eclipse works with Isabelle 2013 only at the moment. The Isabelle/Scala layer currently provides no easy backwards compatibility.
Eclipse 3.7 (Indigo) or 4.2 (Juno)
Isabelle/Eclipse should work with any Eclipse distribution (e.g. Eclipse Classic or just the minimal Platform Runtime). The required Scala library is currently distributed together with the plug-ins.
Isabelle/Scala requires Java 7 runtime - the plug-ins will be disabled if older Java version is used.
Nightly builds are available to test the cutting-edge features of Isabelle/Eclipse. Use the following links to download:
Download standalone Isabelle/Eclipse IDE (nightly) (use the latest build)
Please report bugs, feature requests, questions and other issues using the GitHub tracker:
You can also contribute to the project by forking the repository and sending pull requests with your changes. We welcome various contributions!
Isabelle/Eclipse is built on Eclipse platform using Scala and Java programming languages. It is built using Maven and Eclipse Tycho. Refer to the Developer documentation for hints on building Isabelle/Eclipse yourself.
Feel free to contact the author for assistance.