Download Latest Version
isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip (73.9 MB)
Get an email when there's a new version of Isabelle/Eclipse
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| isabelle.eclipse.product.executable.win32.win32.x86_64_1.2.0.201304161333 | 2013-04-16 | 53.3 kB | |
| isabelle.eclipse.product.executable.win32.win32.x86_1.2.0.201304161333 | 2013-04-16 | 49.8 kB | |
| isabelle.eclipse.product.executable.gtk.linux.x86_64_1.2.0.201304161333 | 2013-04-16 | 210.9 kB | |
| isabelle.eclipse.product.executable.cocoa.macosx.x86_64_1.2.0.201304161333 | 2013-04-16 | 369.1 kB | |
| isabelle.eclipse.product.executable.gtk.linux.x86_1.2.0.201304161333 | 2013-04-16 | 192.4 kB | |
| Totals: 5 Items | 875.5 kB | 0 | |
Isabelle/Eclipse plug-in updates for Isabelle 2013
Update site for Isabelle/Eclipse plug-ins.
To download the latest stable version of Isabelle/Eclipse plug-ins, use the following canonical URL as the update site:
http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/releases/
This version of Isabelle/Eclipse targets and works only with Isabelle 2013 distribution.
Java 7 is required to launch Isabelle/Eclipse.
Nightly builds
You can also download the cutting-edge nightly builds of Isabelle/Eclipse. Use the following canonical URL for nightly builds as the update site:
http://andriusvelykis.github.io/isabelle-eclipse/updates/isabelle2013/nightly/
This URL is updated whenever a new nightly build is published and will always point to the last nightly build of Isabelle/Eclipse update site.