]>
2007-11-20 | Enrico Tassi | ... | blob | commitdiff | raw |
2007-11-20 | Enrico Tassi | opps, a changelog was already there | blob | commitdiff | raw | diff to current |
2006-06-13 | Stefano Zacchiroli | filled README, BUGS, and other files useful for the... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | moved (dummy) dist stuff into software/matita/ | blob | commitdiff | raw | diff to current |