]> matita.cs.unibo.it Git - helm.git/commit
patched and new Gen constructor added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Nov 2003 11:49:14 +0000 (11:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Nov 2003 11:49:14 +0000 (11:49 +0000)
commit88271fa4a71a3642880d85e9efe32ce2306f0661
tree772db17333f4b1e9e99152bc6637aceb1c21c87c
parent605740107642920d90d0c88544d576d7836a1a25
patched and new Gen constructor added
helm/ocaml/mathql_interpreter/mQILib.ml
helm/ocaml/mathql_interpreter/mQILib.mli
helm/ocaml/mathql_interpreter/mQueryIO.ml
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
helm/ocaml/mathql_interpreter/mQueryTLexer.mll
helm/ocaml/mathql_interpreter/mQueryTParser.mly