]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39c8c5c) | patch
MathQL query generator: new interface
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 May 2003 14:52:11 +0000 (14:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 May 2003 14:52:11 +0000 (14:52 +0000)
commit48b9bb5e9504aba97cff28a9d7e2797feb42972e
treebbd696bad3371b819b832cda354137f235247b73tree | snapshot
parent39c8c5c53680cd374a3eb76993a592cf29bb92bacommit | diff
MathQL query generator: new interface
14 files changed:
helm/ocaml/mathql_interpreter/mQIExecute.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIExecute.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIPostgres.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIPostgres.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIProperty.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIProperty.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIUtil.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIUtil.mli [new file with mode: 0644] blob
helm/ocaml/mathql_test/.cvsignore diff | blob | history
helm/ocaml/mathql_test/.depend diff | blob | history
helm/ocaml/mathql_test/Makefile diff | blob | history
helm/ocaml/mathql_test/mQGTopLexer.mll [new file with mode: 0644] blob
helm/ocaml/mathql_test/mQGTopParser.mly [new file with mode: 0644] blob
helm/ocaml/mathql_test/mqgtop.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.