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 / 1.2.0 / plugins
Name Modified Size InfoDownloads / Week
Parent folder
org.scala-lang.scala-reflect_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-04-16 3.2 MB
0
org.scala-lang.scala-library_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-04-16 7.1 MB
0
org.scala-lang.scala-actors_2.10.1.v20130302-092018-VFINAL-33e32179fd.jar 2013-04-16 450.1 kB
0
org.eclipse.ui.views.log_1.0.300.v20120530-1435.jar 2013-04-16 139.7 kB
0
isabelle.pure_2013.0.1.201304131502.jar 2013-04-16 1.3 MB
0
isabelle.pide_2013.0.1.201302261008.jar 2013-04-16 356.9 kB
0
isabelle.eclipse_1.2.0.201304072328.jar 2013-04-16 152.6 kB
0
isabelle.eclipse.ui_1.2.0.201304161102.jar 2013-04-16 1.1 MB
0
isabelle.eclipse.launch_1.2.0.201303301124.jar 2013-04-16 295.8 kB
0
isabelle.eclipse.feature.branding_1.2.0.201304072328.jar 2013-04-16 5.1 kB
0
isabelle.eclipse.doc_1.2.0.201304160813.jar 2013-04-16 1.0 MB
0
isabelle.eclipse.core_1.2.0.201304072240.jar 2013-04-16 191.1 kB
0
Totals: 12 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