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