]> matita.cs.unibo.it Git - helm.git/commit
MQueryUtil updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Jun 2002 17:04:53 +0000 (17:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Jun 2002 17:04:53 +0000 (17:04 +0000)
commit9c08b9567c9aa22b9066abde48b72b441c2a95e5
treedb51f6a04bb53ed5358ff5543309d010e4aa533e
parent63c43487836c85e7831c4b867723cf602ceb8b1b
MQueryUtil updated
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mathQL.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/select.ml