]>
2005-11-29 | Claudio Sacerdoti... | * Part of matita that used to deal with the library... | blob | commitdiff | raw |
2005-07-13 | Enrico Tassi | matitamake stuff: | blob | commitdiff | raw |
2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |