]>
2006-02-03 | Stefano Zacchiroli | release snapshot | commit | commitdiff |
2006-01-09 | Stefano Zacchiroli | coq repository is legacy | commit | commitdiff |
2005-11-04 | Stefano Zacchiroli | "towards a distribution of matita" changes: | commit | commitdiff |
2005-07-13 | Enrico Tassi | matitamake stuff: | commit | commitdiff |
2005-07-11 | Enrico Tassi | matita.conf.xml.sample is now generated | commit | commitdiff |