]>
2007-11-15 | Enrico Tassi | ... | blob | commitdiff | raw |
2007-10-28 | Enrico Tassi | added patch for the configuration file | blob | commitdiff | raw | diff to current |
2007-05-23 | Enrico Tassi | debian package for matita | blob | commitdiff | raw | diff to current |