Download Latest Version org.ai4fm.graph.isomorphism_1.1.0.201408201147.jar (54.3 kB)
Email in envelope

Get an email when there's a new version of ProofProcess

Home / updates / nightly / 201406150608 / plugins
Name Modified Size InfoDownloads / Week
Parent folder
org.ai4fm.proofprocess.edit_1.1.0.201312051152.jar 2014-06-15 57.3 kB
0
org.ai4fm.proofprocess.mlearning.data_1.1.0.201303050757.jar 2014-06-15 9.2 kB
0
org.ai4fm.proofprocess.project.ui_1.1.0.201406142110.jar 2014-06-15 14.4 kB
0
org.ai4fm.filehistory.core_1.1.0.201406142110.jar 2014-06-15 25.3 kB
0
org.ai4fm.proofprocess.project_1.1.0.201312021736.jar 2014-06-15 41.5 kB
0
org.ai4fm.proofprocess.isabelle_1.1.0.201312021736.jar 2014-06-15 60.4 kB
0
org.ai4fm.graph.isomorphism_1.1.0.201406150606.jar 2014-06-15 54.3 kB
0
org.ai4fm.proofprocess.project.core_1.1.0.201406142343.jar 2014-06-15 80.9 kB
0
org.ai4fm.proofprocess.core_1.1.0.201406150012.jar 2014-06-15 236.8 kB
0
org.ai4fm.proofprocess.ui_1.1.0.201406142110.jar 2014-06-15 340.3 kB
0
org.ai4fm.proofprocess.project.edit_1.1.0.201312051143.jar 2014-06-15 26.9 kB
0
org.ai4fm.proofprocess.zeves_1.1.0.201312021736.jar 2014-06-15 29.2 kB
0
org.ai4fm.proofprocess.isabelle.edit_1.1.0.201312051143.jar 2014-06-15 56.5 kB
0
org.scala-lang.scala-actors_2.10.4.v20140209-180020-VFINAL-b66a39653b.jar 2014-06-15 476.7 kB
0
com.googlecode.java-diff-utils.diffutils_1.3.0.jar 2014-06-15 34.1 kB
0
org.ai4fm.proofprocess_1.1.0.201312021526.jar 2014-06-15 57.0 kB
0
org.ai4fm.proofprocess.zeves.core_1.1.0.201406142344.jar 2014-06-15 147.8 kB
0
org.ai4fm.proofprocess.zeves.ui_1.1.0.201306101120.jar 2014-06-15 37.0 kB
0
org.scala-lang.scala-library_2.10.4.v20140209-180020-VFINAL-b66a39653b.jar 2014-06-15 7.1 MB
0
org.ai4fm.proofprocess.cdo_1.1.0.201312051155.jar 2014-06-15 79.3 kB
0
com.assembla.scala-incubator.graph-core_2.10.osgi_1.6.1.jar 2014-06-15 1.1 MB
0
org.ai4fm.filehistory_1.1.0.201303011108.jar 2014-06-15 20.2 kB
0
org.ai4fm.proofprocess.isabelle.ui_1.1.0.201306070913.jar 2014-06-15 36.9 kB
0
org.ai4fm.proofprocess.zeves.edit_1.1.0.201312051143.jar 2014-06-15 16.2 kB
0
org.ai4fm.proofprocess.isabelle.core_1.1.0.201406142110.jar 2014-06-15 473.9 kB
0
Totals: 25 Items   10.7 MB 0

ProofProcess plug-in updates

Update site for ProofProcess framework Eclipse plug-ins.

The current version has not been officially released yet, therefore only nightly builds are available at the moment. Use the following canonical URL for nightly builds as the update site:

http://www.ai4fm.org/proofprocess/updates/nightly/

This URL is updated whenever a new nightly build is published and will always point to the last nightly build of ProofProcess framework update site.

Source: README.md, updated 2013-05-08