]>
2002-05-22 | Ferruccio Guidi | mathql package started | blob | commitdiff | raw |
2002-01-29 | Claudio Sacerdoti... | Ported to ocaml-3.04. | blob | commitdiff | raw | diff to current |
2002-01-10 | Claudio Sacerdoti... | CIC Textual Parser added to the repository. | blob | commitdiff | raw | diff to current |
2001-12-03 | Claudio Sacerdoti... | Makefile improved: dependencies from libraries are... | blob | commitdiff | raw | diff to current |
2001-11-29 | Claudio Sacerdoti... | * .mli added where needed | blob | commitdiff | raw | diff to current |