source: Deliverables/D6.6

Name Size Rev Age Author Last Change
../
why3 3234   6 years sacerdot Debian packages committed. Some are using git, so you need to clone …
why2 3234   6 years sacerdot Debian packages committed. Some are using git, so you need to clone …
matita 3241   6 years sacerdot Debian package for matita_0.99.2
frama-c-cost-plugin 3234   6 years sacerdot Debian packages committed. Some are using git, so you need to clone …
cvc3 3234   6 years sacerdot Debian packages committed. Some are using git, so you need to clone …
acc-trusted 3242   6 years sacerdot New version with better description and copyright.
acc 3234   6 years sacerdot Debian packages committed. Some are using git, so you need to clone …
report.tex 11.7 KB 3244   6 years sacerdot Final version.
README 1.7 KB 3246   6 years sacerdot Instructions on how to make the LiveCD.
Note: See TracBrowser for help on using the repository browser.