]> matita.cs.unibo.it Git - helm.git/commit
Author specification added in head comments;
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Jun 2003 15:23:55 +0000 (15:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Jun 2003 15:23:55 +0000 (15:23 +0000)
commit931f10c61b4e3914474955a94a05cf43b5fa2bc0
treecb9465ec631ddd23e0cfe4eb8bf71446e61f0e15
parent210445db4d7f550bbfac3e2db6d0aefcf02b71d4
Author specification added in head comments;
MQueryGenerator.builtin ready to be used
24 files changed:
helm/ocaml/mathql/mQueryTLexer.mll
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mQueryUtil.mli
helm/ocaml/mathql/mathQL.ml
helm/ocaml/mathql_generator/mQueryGenerator.ml
helm/ocaml/mathql_generator/mQueryGenerator.mli
helm/ocaml/mathql_generator/mQueryLevels.ml
helm/ocaml/mathql_generator/mQueryLevels.mli
helm/ocaml/mathql_generator/mQueryLevels2.mli
helm/ocaml/mathql_interpreter/mQIConn.ml
helm/ocaml/mathql_interpreter/mQIConn.mli
helm/ocaml/mathql_interpreter/mQIPostgres.ml
helm/ocaml/mathql_interpreter/mQIPostgres.mli
helm/ocaml/mathql_interpreter/mQIProperty.ml
helm/ocaml/mathql_interpreter/mQIProperty.mli
helm/ocaml/mathql_interpreter/mQIUtil.ml
helm/ocaml/mathql_interpreter/mQIUtil.mli
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
helm/ocaml/mathql_interpreter/mQueryInterpreter.mli
helm/ocaml/mathql_interpreter/mQueryMisc.ml
helm/ocaml/mathql_test/mQGTopLexer.mll
helm/ocaml/mathql_test/mQGTopParser.mly
helm/ocaml/mathql_test/mqgtop.ml