source: Deliverables/D6.6

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3241   8 years sacerdot Debian package for matita_0.99.2
(edit) @3238   8 years sacerdot acc-trusted bumper to version 0.2.
(edit) @3235   8 years tranquil compiler tarball
(add) @3234   8 years sacerdot Debian packages committed. Some are using git, so you need to clone …
Note: See TracRevisionLog for help on using the revision log.