source:
Deliverables/D6.6
@
3243
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| acc | 3234 | 7 years | Debian packages committed. Some are using git, so you need to clone … | ||
| acc-trusted | 3242 | 7 years | New version with better description and copyright. | ||
| cvc3 | 3234 | 7 years | Debian packages committed. Some are using git, so you need to clone … | ||
| frama-c-cost-plugin | 3234 | 7 years | Debian packages committed. Some are using git, so you need to clone … | ||
| matita | 3241 | 7 years | Debian package for matita_0.99.2 | ||
| why2 | 3234 | 7 years | Debian packages committed. Some are using git, so you need to clone … | ||
| why3 | 3234 | 7 years | Debian packages committed. Some are using git, so you need to clone … | ||
| README | 1.5 KB | 3238 | 7 years | acc-trusted bumper to version 0.2. | |
| report.tex | 11.7 KB | 3243 | 7 years | The report, spellchecking needed. | |
Note: See TracBrowser
for help on using the repository browser.
