]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql_interpreter
missing dependency to mathql added ;-)
[helm.git] / helm / ocaml / mathql_interpreter /
2002-09-13 Ferruccio Guidimqint intercace fixed
2002-09-10 Ferruccio Guidinew mathql interpreter
2002-09-10 no authorThis commit was manufactured by cvs2svn to create branch
2002-05-28 Ferruccio Guidinew MathQL syntax
2002-05-28 Claudio Sacerdoti... * New operators (Subset, SetEqual and RVarOccurrence...
2002-05-24 lordifaster database format implemented
2002-05-23 lordiintersect improved in speed
2002-05-22 lordisortedby implemented and new uri result format
2002-05-21 Ferruccio GuidiMQRefs fixed
2002-05-14 Claudio Sacerdoti... First very-very-very-very-alfa release of a MathQL...