]>
2006-05-11 | Claudio Sacerdoti... | Bugs fixed: | blob | commitdiff | raw |
2006-05-09 | Enrico Tassi | types2006 patch | blob | commitdiff | raw | diff to current |
2006-04-14 | Enrico Tassi | the same utf8 bug as before | blob | commitdiff | raw | diff to current |
2006-03-17 | Enrico Tassi | tests are now handled with a standard Makefile that... | blob | commitdiff | raw | diff to current |
2006-03-13 | Enrico Tassi | Huge commit for the release. Includes: | blob | commitdiff | raw | diff to current |
2006-02-06 | Stefano Zacchiroli | help path is no longer hard coded but relative to runti... | blob | commitdiff | raw | diff to current |
2006-02-06 | Claudio Sacerdoti... | first sketch of the documentation (to be used by yelp) | blob | commitdiff | raw | diff to current |
2006-02-06 | Andrea Asperti | fixed usage of matita.auto_disambiguation | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |