]> matita.cs.unibo.it Git - helm.git/commit
moved mathql side by side with ocaml/
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:13:14 +0000 (10:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:13:14 +0000 (10:13 +0000)
commitab72cb44a09c93e1d540f7ac9bc7eae2f4d09f2f
tree751e431eb1fdac137c21e960e780ac332d08e34e
parent951069678fea0d6dcdde984320ec5057ddc57c3c
moved mathql side by side with ocaml/
77 files changed:
helm/mathql/mathql/.depend [new file with mode: 0644]
helm/mathql/mathql/Makefile [new file with mode: 0644]
helm/mathql/mathql/mathQL.ml [new file with mode: 0644]
helm/mathql/mathql_db_map.txt [new file with mode: 0644]
helm/mathql/mathql_generator/.depend [new file with mode: 0644]
helm/mathql/mathql_generator/Makefile [new file with mode: 0644]
helm/mathql/mathql_generator/cGLocateInductive.ml [new file with mode: 0644]
helm/mathql/mathql_generator/cGLocateInductive.mli [new file with mode: 0644]
helm/mathql/mathql_generator/cGMatchConclusion.ml [new file with mode: 0644]
helm/mathql/mathql_generator/cGMatchConclusion.mli [new file with mode: 0644]
helm/mathql/mathql_generator/cGSearchPattern.ml [new file with mode: 0644]
helm/mathql/mathql_generator/cGSearchPattern.mli [new file with mode: 0644]
helm/mathql/mathql_generator/mQGTypes.ml [new file with mode: 0644]
helm/mathql/mathql_generator/mQGUtil.ml [new file with mode: 0644]
helm/mathql/mathql_generator/mQGUtil.mli [new file with mode: 0644]
helm/mathql/mathql_generator/mQueryGenerator.ml [new file with mode: 0644]
helm/mathql/mathql_generator/mQueryGenerator.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/.depend [new file with mode: 0644]
helm/mathql/mathql_interpreter/Makefile [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIConn.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIConn.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIMap.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIMap.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIMySql.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIMySql.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIPostgres.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIPostgres.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIProperty.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIProperty.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQITypes.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIUtil.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQIUtil.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryInterpreter.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryInterpreter.mli [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryTLexer.mll [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryTParser.mly [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryUtil.ml [new file with mode: 0644]
helm/mathql/mathql_interpreter/mQueryUtil.mli [new file with mode: 0644]
helm/mathql_db_map.txt [deleted file]
helm/ocaml/TODO [deleted file]
helm/ocaml/mathql/.depend [deleted file]
helm/ocaml/mathql/Makefile [deleted file]
helm/ocaml/mathql/mathQL.ml [deleted file]
helm/ocaml/mathql_generator/.depend [deleted file]
helm/ocaml/mathql_generator/Makefile [deleted file]
helm/ocaml/mathql_generator/cGLocateInductive.ml [deleted file]
helm/ocaml/mathql_generator/cGLocateInductive.mli [deleted file]
helm/ocaml/mathql_generator/cGMatchConclusion.ml [deleted file]
helm/ocaml/mathql_generator/cGMatchConclusion.mli [deleted file]
helm/ocaml/mathql_generator/cGSearchPattern.ml [deleted file]
helm/ocaml/mathql_generator/cGSearchPattern.mli [deleted file]
helm/ocaml/mathql_generator/mQGTypes.ml [deleted file]
helm/ocaml/mathql_generator/mQGUtil.ml [deleted file]
helm/ocaml/mathql_generator/mQGUtil.mli [deleted file]
helm/ocaml/mathql_generator/mQueryGenerator.ml [deleted file]
helm/ocaml/mathql_generator/mQueryGenerator.mli [deleted file]
helm/ocaml/mathql_interpreter/.depend [deleted file]
helm/ocaml/mathql_interpreter/Makefile [deleted file]
helm/ocaml/mathql_interpreter/mQIConn.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIConn.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIMap.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIMap.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIMySql.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIMySql.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIPostgres.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIPostgres.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIProperty.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIProperty.mli [deleted file]
helm/ocaml/mathql_interpreter/mQITypes.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIUtil.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIUtil.mli [deleted file]
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml [deleted file]
helm/ocaml/mathql_interpreter/mQueryInterpreter.mli [deleted file]
helm/ocaml/mathql_interpreter/mQueryTLexer.mll [deleted file]
helm/ocaml/mathql_interpreter/mQueryTParser.mly [deleted file]
helm/ocaml/mathql_interpreter/mQueryUtil.ml [deleted file]
helm/ocaml/mathql_interpreter/mQueryUtil.mli [deleted file]