Name | Modified | Size | Downloads / Week |
---|---|---|---|
updates | 2013-05-08 | ||
README.md | 2013-05-08 | 586 Bytes | |
Totals: 2 Items | 586 Bytes | 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.