Download Latest Version isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip (73.9 MB)
Email in envelope

Get an email when there's a new version of Isabelle/Eclipse

Home / isabelle2013 / updates / nightly / 201305250505 / plugins
Name Modified Size InfoDownloads / Week
Parent folder
isabelle.eclipse.core_1.3.0.201305162242.jar 2013-05-25 191.1 kB
0
isabelle.eclipse.ui_1.3.0.201305241716.jar 2013-05-25 1.1 MB
0
org.scala-lang.scala-actors_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-05-25 450.1 kB
0
org.eclipse.ui.views.log_1.0.300.v20120530-1435.jar 2013-05-25 139.7 kB
0
isabelle.eclipse.launch_1.3.0.201305162242.jar 2013-05-25 295.8 kB
0
org.scala-lang.scala-library_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-05-25 7.1 MB
0
isabelle.pide_2013.0.1.201302261008.jar 2013-05-25 356.9 kB
0
isabelle.eclipse.feature.branding_1.3.0.201304161532.jar 2013-05-25 5.1 kB
0
org.scala-lang.scala-reflect_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-05-25 3.2 MB
0
isabelle.eclipse.doc_1.3.0.201304161532.jar 2013-05-25 1.0 MB
0
isabelle.eclipse.diagnostic_1.3.0.201305170750.jar 2013-05-25 9.0 kB
0
isabelle.eclipse_1.3.0.201305162242.jar 2013-05-25 152.6 kB
0
isabelle.pure_2013.0.1.201304131502.jar 2013-05-25 1.3 MB
0
Totals: 13 Items   15.3 MB 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.

Source: README.md, updated 2013-04-16