]>
2006-02-02 | Stefano Zacchiroli | moved mathql side by side with ocaml/ | commit | commitdiff |
2004-04-14 | Ferruccio Guidi | patched | commit | commitdiff |
2004-02-27 | Ferruccio Guidi | now database interfaces are more abstract | commit | commitdiff |
2003-06-20 | Ferruccio Guidi | Author specification added in head comments; | commit | commitdiff |
2003-06-19 | Ferruccio Guidi | MathQL 1.3 ready for use | commit | commitdiff |
2003-05-31 | Ferruccio Guidi | new syntax for "property" enabled: | commit | commitdiff |
2003-05-20 | Ferruccio Guidi | MathQL query generator: new interface | commit | commitdiff |