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 |
|---|---|---|---|
| isabelle2013 | 2013-04-04 | ||
| isabelle2012 | 2013-03-25 | ||
| README.md | 2013-03-25 | 705 Bytes | |
| Totals: 3 Items | 705 Bytes | 0 |
Isabelle/Eclipse downloads
Isabelle/Eclipse plug-ins currently target a specific Isabelle distribution - they can only be used with Isabelle version they are targeted at. This is due to limited backwards compatibility in Isabelle/Scala.
For this reason, there are different plug-ins to download for specific Isabelle versions. The plug-ins are placed in corresponding folders:
isabelle2013- Isabelle/Eclipse for Isabelle 2013. Active development.isabelle2012- Isabelle/Eclipse for Isabelle 2012. This version is not actively developed at the moment. Last released versions are kept, but new features are only added to Isabelle 2013 version.