]>
2006-02-02 | Stefano Zacchiroli | moved mathql side by side with ocaml/ | blob | commitdiff | raw |
2006-01-08 | Claudio Sacerdoti... | Added $Id$ to every .ml file. | blob | commitdiff | raw |
2004-10-15 | Stefano Zacchiroli | moved string_of_uriref to UriManager | blob | commitdiff | raw | diff to current |
2003-09-23 | Ferruccio Guidi | Now mathql_generator compiles before mathql_interpreter. | blob | commitdiff | raw | diff to current |
2003-09-04 | Ferruccio Guidi | CGLocateInductive patched | blob | commitdiff | raw | diff to current |
2003-09-04 | Ferruccio Guidi | added the support for the "Locate Inductive Principles... | blob | commitdiff | raw | diff to current |