]>
2007-10-26 | Enrico Tassi | 0.4.0 almost working | blob | commitdiff | raw |
2007-09-10 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-08-30 | Enrico Tassi | the version on the livecd | blob | commitdiff | raw | diff to current |
2007-05-23 | Enrico Tassi | debian package for matita | blob | commitdiff | raw | diff to current |