source: @ 1517

Name Size Rev Age Author Last Change
Contract 56   11 years sacerdot The technical annex of the contract.
src 1517   10 years sacerdot Ported to syntax of Matita 0.99.1.
Deliverables 1508   10 years tranquil branched a version of the plug-in that is compatible with the indexed …
Note: See TracBrowser for help on using the repository browser.