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 | |||
| plugins | 2013-03-23 | ||
| features | 2013-03-23 | ||
| content.jar | 2013-03-23 | 14.4 kB | |
| artifacts.jar | 2013-03-23 | 939 Bytes | |
| Totals: 4 Items | 15.3 kB | 0 | |
Isabelle/Eclipse downloads for Isabelle 2012
The last version of Isabelle/Eclipse targeting Isabelle 2012 distribution.
Use the following canonical URL as the update site:
http://andriusvelykis.github.com/isabelle-eclipse/updates/isabelle2012/releases/
This URL will be updated to point to the last released version of Isabelle/Eclipse for Isabelle 2012 (in case of new releases).
Note, however, that this version is no longer actively developed - all new Isabelle/Eclipse features are added to plug-ins targeting Isabelle 2013.