Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
nightly | 2014-08-20 | ||
Totals: 1 Item | 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.