Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework.
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 update site (use Update Manager in Eclipse):
http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/releases/
Isabelle 2013
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.
Java 7
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:
Isabelle/Eclipse nightly update site (use Update Manager in Eclipse):
http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/nightly/
Please report bugs, feature requests, questions and other issues using the GitHub tracker:
http://github.com/andriusvelykis/isabelle-eclipse/issues
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.
Developed by Andrius Velykis (Newcastle University, UK) as part of the AI4FM research project.