Changeset 3241

Timestamp:
Apr 30, 2013, 9:28:51 PM (4 years ago)
Author:
sacerdot
Message:

Debian package for matita_0.99.2

Location:
Deliverables/D6.6/matita
Files:
8 added

Note: See TracChangeset for help on using the changeset viewer.