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:
- Download standalone Isabelle/Eclipse IDE
Make sure the requirements below are satisfied and get started using Isabelle/Eclipse!
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. Note that Eclipse 3.7 has issues using Java 7 on Mac OS X.
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)
An older version of Isabelle/Eclipse plug-ins is available for Isabelle 2012. Get them from the update site: