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-ide | 2013-04-16 | ||
| updates | 2013-04-16 | ||
| README.md | 2013-04-04 | 588 Bytes | |
| Totals: 3 Items | 588 Bytes | 0 | |
Isabelle/Eclipse downloads for Isabelle 2013
Isabelle/Eclipse is available both as standalone Isabelle/Eclipse IDE and as plug-ins for Eclipse to be installed via Update Manager.
isabelle-eclipse-ide- Releases of standalone Isabelle/Eclipse IDE, based on Eclipse platform.updates- Update sites for released Isabelle/Eclipse plug-ins to be installed in your own Eclipse IDE.
This version of Isabelle/Eclipse targets and works only with Isabelle 2013 distribution.
Java 7 is required to launch Isabelle/Eclipse.