]>
2003-09-23 | Ferruccio Guidi | Now mathql_generator compiles before mathql_interpreter. | 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-04-23 | Ferruccio Guidi | patch | commit | commitdiff |
2002-12-13 | Ferruccio Guidi | MathQL textual lexer patched | commit | commitdiff |
2002-11-26 | Ferruccio Guidi | lexer patched | commit | commitdiff |
2002-11-26 | Ferruccio Guidi | debug output removed | commit | commitdiff |
2002-11-26 | Ferruccio Guidi | MathQL.ml updated | commit | commitdiff |
2002-11-14 | Ferruccio Guidi | added inverse switch for relation and attribute | commit | commitdiff |
2002-10-21 | natile | Merge of the new_mathql branch with the main branch: | commit | commitdiff |
2002-05-22 | Ferruccio Guidi | textual parser and other utilities for mathql | commit | commitdiff |