Download Isabelle/Eclipse

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

• Isabelle/Eclipse update site (use Update Manager in Eclipse):

  http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/releases/

Make sure the requirements below are satisfied and get started using Isabelle/Eclipse!

Requirements

• 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. Note that Eclipse 3.7 has issues using Java 7 on Mac OS X.

• Java 7

  Isabelle/Scala requires Java 7 runtime - the plug-ins will be disabled if older Java version is used. On Mac OS X we recommend installing Java 7 JDK.

Nightly builds

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)

• Isabelle/Eclipse nightly update site (use Update Manager in Eclipse):

  http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/nightly/

Previous versions

An older version of Isabelle/Eclipse plug-ins is available for Isabelle 2012. Get them from the update site:

http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2012/releases/