source: Deliverables/D6.6

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3246   7 years sacerdot Instructions on how to make the LiveCD.
(edit) @3244   7 years sacerdot Final version.
(edit) @3243   7 years sacerdot The report, spellchecking needed.
(edit) @3242   7 years sacerdot New version with better description and copyright.
(edit) @3241   7 years sacerdot Debian package for matita_0.99.2
(edit) @3238   7 years sacerdot acc-trusted bumper to version 0.2.
(edit) @3235   7 years tranquil compiler tarball
(add) @3234   7 years sacerdot Debian packages committed. Some are using git, so you need to clone …
Note: See TracRevisionLog for help on using the revision log.