Download Latest Version isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip (73.9 MB) Get Updates
Name Modified Size InfoDownloads / Week
Parent folder
201305270506 2013-05-27
201305250505 2013-05-25
201305190505 2013-05-19
201305180505 2013-05-18
201304180506 2013-04-18
201304170506 2013-04-17
201304151416 2013-04-15
201304150505 2013-04-15
201304140506 2013-04-14
Totals: 9 Items   0

Isabelle/Eclipse IDE for Isabelle 2013

Standalone Isabelle/Eclipse IDE, based on Eclipse platform. This prover IDE provides a lightweight package of Eclipse with Isabelle/Eclipse plug-ins, streamlined for Isabelle work.

Archived distributions are available for Windows (32- and 64-bit), Linux (32- and 64-bit) and Mac OS X (64-bit). Download the appropriate distribution, extract it and start proving.

Download the latest stable release by selecting the version, or try the cutting-edge features in nightly builds.

Java 7 is required to launch Isabelle/Eclipse. Make sure you have it installed before launching.

Source: README.md, updated 2013-04-16