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 | |||
| org.scala-ide.scala.library_2.9.2.v20120406-123959-95f0de0d15.jar | 2013-03-23 | 10.4 MB | |
| isabelle.pure_2012.0.0.201207162258.jar | 2013-03-23 | 965.9 kB | |
| isabelle.pide_2012.0.0.201207162258.jar | 2013-03-23 | 341.9 kB | |
| isabelle.eclipse.ui_1.0.1.201301070900.jar | 2013-03-23 | 289.8 kB | |
| isabelle.eclipse.launch_1.0.1.201207171111.jar | 2013-03-23 | 35.3 kB | |
| isabelle.eclipse.core_1.1.0.201207271513.jar | 2013-03-23 | 222.4 kB | |
| Totals: 6 Items | 12.3 MB | 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.