From ab72cb44a09c93e1d540f7ac9bc7eae2f4d09f2f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 10:13:14 +0000 Subject: [PATCH] moved mathql side by side with ocaml/ --- helm/{ocaml => mathql}/mathql/.depend | 0 helm/{ocaml => mathql}/mathql/Makefile | 0 helm/{ocaml => mathql}/mathql/mathQL.ml | 0 helm/{ => mathql}/mathql_db_map.txt | 0 helm/{ocaml => mathql}/mathql_generator/.depend | 0 helm/{ocaml => mathql}/mathql_generator/Makefile | 0 helm/{ocaml => mathql}/mathql_generator/cGLocateInductive.ml | 0 helm/{ocaml => mathql}/mathql_generator/cGLocateInductive.mli | 0 helm/{ocaml => mathql}/mathql_generator/cGMatchConclusion.ml | 0 helm/{ocaml => mathql}/mathql_generator/cGMatchConclusion.mli | 0 helm/{ocaml => mathql}/mathql_generator/cGSearchPattern.ml | 0 helm/{ocaml => mathql}/mathql_generator/cGSearchPattern.mli | 0 helm/{ocaml => mathql}/mathql_generator/mQGTypes.ml | 0 helm/{ocaml => mathql}/mathql_generator/mQGUtil.ml | 0 helm/{ocaml => mathql}/mathql_generator/mQGUtil.mli | 0 helm/{ocaml => mathql}/mathql_generator/mQueryGenerator.ml | 0 helm/{ocaml => mathql}/mathql_generator/mQueryGenerator.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/.depend | 0 helm/{ocaml => mathql}/mathql_interpreter/Makefile | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIConn.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIConn.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIMap.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIMap.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIMySql.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIMySql.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIPostgres.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIPostgres.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIProperty.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIProperty.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQITypes.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIUtil.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQIUtil.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryInterpreter.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryInterpreter.mli | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryTLexer.mll | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryTParser.mly | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryUtil.ml | 0 helm/{ocaml => mathql}/mathql_interpreter/mQueryUtil.mli | 0 helm/ocaml/TODO | 0 39 files changed, 0 insertions(+), 0 deletions(-) rename helm/{ocaml => mathql}/mathql/.depend (100%) rename helm/{ocaml => mathql}/mathql/Makefile (100%) rename helm/{ocaml => mathql}/mathql/mathQL.ml (100%) rename helm/{ => mathql}/mathql_db_map.txt (100%) rename helm/{ocaml => mathql}/mathql_generator/.depend (100%) rename helm/{ocaml => mathql}/mathql_generator/Makefile (100%) rename helm/{ocaml => mathql}/mathql_generator/cGLocateInductive.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/cGLocateInductive.mli (100%) rename helm/{ocaml => mathql}/mathql_generator/cGMatchConclusion.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/cGMatchConclusion.mli (100%) rename helm/{ocaml => mathql}/mathql_generator/cGSearchPattern.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/cGSearchPattern.mli (100%) rename helm/{ocaml => mathql}/mathql_generator/mQGTypes.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/mQGUtil.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/mQGUtil.mli (100%) rename helm/{ocaml => mathql}/mathql_generator/mQueryGenerator.ml (100%) rename helm/{ocaml => mathql}/mathql_generator/mQueryGenerator.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/.depend (100%) rename helm/{ocaml => mathql}/mathql_interpreter/Makefile (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIConn.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIConn.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIMap.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIMap.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIMySql.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIMySql.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIPostgres.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIPostgres.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIProperty.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIProperty.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQITypes.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIUtil.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQIUtil.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryInterpreter.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryInterpreter.mli (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryTLexer.mll (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryTParser.mly (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryUtil.ml (100%) rename helm/{ocaml => mathql}/mathql_interpreter/mQueryUtil.mli (100%) delete mode 100644 helm/ocaml/TODO diff --git a/helm/ocaml/mathql/.depend b/helm/mathql/mathql/.depend similarity index 100% rename from helm/ocaml/mathql/.depend rename to helm/mathql/mathql/.depend diff --git a/helm/ocaml/mathql/Makefile b/helm/mathql/mathql/Makefile similarity index 100% rename from helm/ocaml/mathql/Makefile rename to helm/mathql/mathql/Makefile diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/mathql/mathql/mathQL.ml similarity index 100% rename from helm/ocaml/mathql/mathQL.ml rename to helm/mathql/mathql/mathQL.ml diff --git a/helm/mathql_db_map.txt b/helm/mathql/mathql_db_map.txt similarity index 100% rename from helm/mathql_db_map.txt rename to helm/mathql/mathql_db_map.txt diff --git a/helm/ocaml/mathql_generator/.depend b/helm/mathql/mathql_generator/.depend similarity index 100% rename from helm/ocaml/mathql_generator/.depend rename to helm/mathql/mathql_generator/.depend diff --git a/helm/ocaml/mathql_generator/Makefile b/helm/mathql/mathql_generator/Makefile similarity index 100% rename from helm/ocaml/mathql_generator/Makefile rename to helm/mathql/mathql_generator/Makefile diff --git a/helm/ocaml/mathql_generator/cGLocateInductive.ml b/helm/mathql/mathql_generator/cGLocateInductive.ml similarity index 100% rename from helm/ocaml/mathql_generator/cGLocateInductive.ml rename to helm/mathql/mathql_generator/cGLocateInductive.ml diff --git a/helm/ocaml/mathql_generator/cGLocateInductive.mli b/helm/mathql/mathql_generator/cGLocateInductive.mli similarity index 100% rename from helm/ocaml/mathql_generator/cGLocateInductive.mli rename to helm/mathql/mathql_generator/cGLocateInductive.mli diff --git a/helm/ocaml/mathql_generator/cGMatchConclusion.ml b/helm/mathql/mathql_generator/cGMatchConclusion.ml similarity index 100% rename from helm/ocaml/mathql_generator/cGMatchConclusion.ml rename to helm/mathql/mathql_generator/cGMatchConclusion.ml diff --git a/helm/ocaml/mathql_generator/cGMatchConclusion.mli b/helm/mathql/mathql_generator/cGMatchConclusion.mli similarity index 100% rename from helm/ocaml/mathql_generator/cGMatchConclusion.mli rename to helm/mathql/mathql_generator/cGMatchConclusion.mli diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.ml b/helm/mathql/mathql_generator/cGSearchPattern.ml similarity index 100% rename from helm/ocaml/mathql_generator/cGSearchPattern.ml rename to helm/mathql/mathql_generator/cGSearchPattern.ml diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.mli b/helm/mathql/mathql_generator/cGSearchPattern.mli similarity index 100% rename from helm/ocaml/mathql_generator/cGSearchPattern.mli rename to helm/mathql/mathql_generator/cGSearchPattern.mli diff --git a/helm/ocaml/mathql_generator/mQGTypes.ml b/helm/mathql/mathql_generator/mQGTypes.ml similarity index 100% rename from helm/ocaml/mathql_generator/mQGTypes.ml rename to helm/mathql/mathql_generator/mQGTypes.ml diff --git a/helm/ocaml/mathql_generator/mQGUtil.ml b/helm/mathql/mathql_generator/mQGUtil.ml similarity index 100% rename from helm/ocaml/mathql_generator/mQGUtil.ml rename to helm/mathql/mathql_generator/mQGUtil.ml diff --git a/helm/ocaml/mathql_generator/mQGUtil.mli b/helm/mathql/mathql_generator/mQGUtil.mli similarity index 100% rename from helm/ocaml/mathql_generator/mQGUtil.mli rename to helm/mathql/mathql_generator/mQGUtil.mli diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.ml b/helm/mathql/mathql_generator/mQueryGenerator.ml similarity index 100% rename from helm/ocaml/mathql_generator/mQueryGenerator.ml rename to helm/mathql/mathql_generator/mQueryGenerator.ml diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/mathql/mathql_generator/mQueryGenerator.mli similarity index 100% rename from helm/ocaml/mathql_generator/mQueryGenerator.mli rename to helm/mathql/mathql_generator/mQueryGenerator.mli diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/mathql/mathql_interpreter/.depend similarity index 100% rename from helm/ocaml/mathql_interpreter/.depend rename to helm/mathql/mathql_interpreter/.depend diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/mathql/mathql_interpreter/Makefile similarity index 100% rename from helm/ocaml/mathql_interpreter/Makefile rename to helm/mathql/mathql_interpreter/Makefile diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/mathql/mathql_interpreter/mQIConn.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIConn.ml rename to helm/mathql/mathql_interpreter/mQIConn.ml diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/mathql/mathql_interpreter/mQIConn.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIConn.mli rename to helm/mathql/mathql_interpreter/mQIConn.mli diff --git a/helm/ocaml/mathql_interpreter/mQIMap.ml b/helm/mathql/mathql_interpreter/mQIMap.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIMap.ml rename to helm/mathql/mathql_interpreter/mQIMap.ml diff --git a/helm/ocaml/mathql_interpreter/mQIMap.mli b/helm/mathql/mathql_interpreter/mQIMap.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIMap.mli rename to helm/mathql/mathql_interpreter/mQIMap.mli diff --git a/helm/ocaml/mathql_interpreter/mQIMySql.ml b/helm/mathql/mathql_interpreter/mQIMySql.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIMySql.ml rename to helm/mathql/mathql_interpreter/mQIMySql.ml diff --git a/helm/ocaml/mathql_interpreter/mQIMySql.mli b/helm/mathql/mathql_interpreter/mQIMySql.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIMySql.mli rename to helm/mathql/mathql_interpreter/mQIMySql.mli diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/mathql/mathql_interpreter/mQIPostgres.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIPostgres.ml rename to helm/mathql/mathql_interpreter/mQIPostgres.ml diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.mli b/helm/mathql/mathql_interpreter/mQIPostgres.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIPostgres.mli rename to helm/mathql/mathql_interpreter/mQIPostgres.mli diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/mathql/mathql_interpreter/mQIProperty.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIProperty.ml rename to helm/mathql/mathql_interpreter/mQIProperty.ml diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.mli b/helm/mathql/mathql_interpreter/mQIProperty.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIProperty.mli rename to helm/mathql/mathql_interpreter/mQIProperty.mli diff --git a/helm/ocaml/mathql_interpreter/mQITypes.ml b/helm/mathql/mathql_interpreter/mQITypes.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQITypes.ml rename to helm/mathql/mathql_interpreter/mQITypes.ml diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.ml b/helm/mathql/mathql_interpreter/mQIUtil.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIUtil.ml rename to helm/mathql/mathql_interpreter/mQIUtil.ml diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/mathql/mathql_interpreter/mQIUtil.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQIUtil.mli rename to helm/mathql/mathql_interpreter/mQIUtil.mli diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml b/helm/mathql/mathql_interpreter/mQueryInterpreter.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryInterpreter.ml rename to helm/mathql/mathql_interpreter/mQueryInterpreter.ml diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli b/helm/mathql/mathql_interpreter/mQueryInterpreter.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryInterpreter.mli rename to helm/mathql/mathql_interpreter/mQueryInterpreter.mli diff --git a/helm/ocaml/mathql_interpreter/mQueryTLexer.mll b/helm/mathql/mathql_interpreter/mQueryTLexer.mll similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryTLexer.mll rename to helm/mathql/mathql_interpreter/mQueryTLexer.mll diff --git a/helm/ocaml/mathql_interpreter/mQueryTParser.mly b/helm/mathql/mathql_interpreter/mQueryTParser.mly similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryTParser.mly rename to helm/mathql/mathql_interpreter/mQueryTParser.mly diff --git a/helm/ocaml/mathql_interpreter/mQueryUtil.ml b/helm/mathql/mathql_interpreter/mQueryUtil.ml similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryUtil.ml rename to helm/mathql/mathql_interpreter/mQueryUtil.ml diff --git a/helm/ocaml/mathql_interpreter/mQueryUtil.mli b/helm/mathql/mathql_interpreter/mQueryUtil.mli similarity index 100% rename from helm/ocaml/mathql_interpreter/mQueryUtil.mli rename to helm/mathql/mathql_interpreter/mQueryUtil.mli diff --git a/helm/ocaml/TODO b/helm/ocaml/TODO deleted file mode 100644 index e69de29bb..000000000 -- 2.39.2