From 55dc61d4b5a62883ea5532ed61e8780ca82f4bd7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 11:33:01 +0000 Subject: [PATCH] moved mathql/ under software/ --- helm/{ => software}/mathql/METAS/meta.helm-mathql.src | 0 helm/{ => software}/mathql/METAS/meta.helm-mathql_generator.src | 0 helm/{ => software}/mathql/METAS/meta.helm-mathql_interpreter.src | 0 helm/{ => software}/mathql/doc/.cvsignore | 0 helm/{ => software}/mathql/doc/llncs.cls | 0 helm/{ => software}/mathql/doc/mathql.tex | 0 helm/{ => software}/mathql/doc/mathql_bib.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction_avsets.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction_basic.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction_core.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction_property.tex | 0 helm/{ => software}/mathql/doc/mathql_introduction_textual.tex | 0 helm/{ => software}/mathql/doc/mathql_macros.sty | 0 helm/{ => software}/mathql/doc/mathql_operational.tex | 0 helm/{ => software}/mathql/doc/mathql_operational_background.tex | 0 helm/{ => software}/mathql/doc/mathql_operational_basic.tex | 0 helm/{ => software}/mathql/doc/mathql_operational_core.tex | 0 helm/{ => software}/mathql/doc/mathql_operational_library.tex | 0 helm/{ => software}/mathql/doc/mathql_overview.tex | 0 helm/{ => software}/mathql/doc/mathql_tests.tex | 0 helm/{ => software}/mathql/grammar.txt | 0 helm/{ => software}/mathql/homepage/authors.html | 0 helm/{ => software}/mathql/homepage/documentation.html | 0 helm/{ => software}/mathql/homepage/features.html | 0 helm/{ => software}/mathql/homepage/implementation.html | 0 helm/{ => software}/mathql/homepage/index.html | 0 helm/{ => software}/mathql/homepage/links.html | 0 helm/{ => software}/mathql/homepage/whatsnew.html | 0 helm/{ => software}/mathql/mathql/.depend | 0 helm/{ => software}/mathql/mathql/Makefile | 0 helm/{ => software}/mathql/mathql/mathQL.ml | 0 helm/{ => software}/mathql/mathql_db_map.txt | 0 helm/{ => software}/mathql/mathql_generator/.depend | 0 helm/{ => software}/mathql/mathql_generator/Makefile | 0 helm/{ => software}/mathql/mathql_generator/cGLocateInductive.ml | 0 helm/{ => software}/mathql/mathql_generator/cGLocateInductive.mli | 0 helm/{ => software}/mathql/mathql_generator/cGMatchConclusion.ml | 0 helm/{ => software}/mathql/mathql_generator/cGMatchConclusion.mli | 0 helm/{ => software}/mathql/mathql_generator/cGSearchPattern.ml | 0 helm/{ => software}/mathql/mathql_generator/cGSearchPattern.mli | 0 helm/{ => software}/mathql/mathql_generator/mQGTypes.ml | 0 helm/{ => software}/mathql/mathql_generator/mQGUtil.ml | 0 helm/{ => software}/mathql/mathql_generator/mQGUtil.mli | 0 helm/{ => software}/mathql/mathql_generator/mQueryGenerator.ml | 0 helm/{ => software}/mathql/mathql_generator/mQueryGenerator.mli | 0 helm/{ => software}/mathql/mathql_interpreter/.depend | 0 helm/{ => software}/mathql/mathql_interpreter/Makefile | 0 helm/{ => software}/mathql/mathql_interpreter/mQIConn.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIConn.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQIMap.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIMap.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQIMySql.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIMySql.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQIPostgres.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIPostgres.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQIProperty.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIProperty.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQITypes.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIUtil.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQIUtil.mli | 0 .../{ => software}/mathql/mathql_interpreter/mQueryInterpreter.ml | 0 .../mathql/mathql_interpreter/mQueryInterpreter.mli | 0 helm/{ => software}/mathql/mathql_interpreter/mQueryTLexer.mll | 0 helm/{ => software}/mathql/mathql_interpreter/mQueryTParser.mly | 0 helm/{ => software}/mathql/mathql_interpreter/mQueryUtil.ml | 0 helm/{ => software}/mathql/mathql_interpreter/mQueryUtil.mli | 0 helm/{ => software}/mathql/mathql_test/.cvsignore | 0 helm/{ => software}/mathql/mathql_test/.depend | 0 helm/{ => software}/mathql/mathql_test/Makefile | 0 helm/{ => software}/mathql/mathql_test/mQGTopLexer.mll | 0 helm/{ => software}/mathql/mathql_test/mQGTopParser.mly | 0 helm/{ => software}/mathql/mathql_test/mqgtop.ml | 0 helm/{ => software}/mathql/mathql_test/mqitop.ml | 0 helm/{ => software}/mathql/mathql_test/mqtop.ml | 0 helm/{ => software}/mathql/query.xml | 0 helm/{ => software}/mathql/result.xml | 0 helm/{ => software}/mathql/xmathql.dtd | 0 helm/{ => software}/mathql/xmqlresult.dtd | 0 79 files changed, 0 insertions(+), 0 deletions(-) rename helm/{ => software}/mathql/METAS/meta.helm-mathql.src (100%) rename helm/{ => software}/mathql/METAS/meta.helm-mathql_generator.src (100%) rename helm/{ => software}/mathql/METAS/meta.helm-mathql_interpreter.src (100%) rename helm/{ => software}/mathql/doc/.cvsignore (100%) rename helm/{ => software}/mathql/doc/llncs.cls (100%) rename helm/{ => software}/mathql/doc/mathql.tex (100%) rename helm/{ => software}/mathql/doc/mathql_bib.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction_avsets.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction_basic.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction_core.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction_property.tex (100%) rename helm/{ => software}/mathql/doc/mathql_introduction_textual.tex (100%) rename helm/{ => software}/mathql/doc/mathql_macros.sty (100%) rename helm/{ => software}/mathql/doc/mathql_operational.tex (100%) rename helm/{ => software}/mathql/doc/mathql_operational_background.tex (100%) rename helm/{ => software}/mathql/doc/mathql_operational_basic.tex (100%) rename helm/{ => software}/mathql/doc/mathql_operational_core.tex (100%) rename helm/{ => software}/mathql/doc/mathql_operational_library.tex (100%) rename helm/{ => software}/mathql/doc/mathql_overview.tex (100%) rename helm/{ => software}/mathql/doc/mathql_tests.tex (100%) rename helm/{ => software}/mathql/grammar.txt (100%) rename helm/{ => software}/mathql/homepage/authors.html (100%) rename helm/{ => software}/mathql/homepage/documentation.html (100%) rename helm/{ => software}/mathql/homepage/features.html (100%) rename helm/{ => software}/mathql/homepage/implementation.html (100%) rename helm/{ => software}/mathql/homepage/index.html (100%) rename helm/{ => software}/mathql/homepage/links.html (100%) rename helm/{ => software}/mathql/homepage/whatsnew.html (100%) rename helm/{ => software}/mathql/mathql/.depend (100%) rename helm/{ => software}/mathql/mathql/Makefile (100%) rename helm/{ => software}/mathql/mathql/mathQL.ml (100%) rename helm/{ => software}/mathql/mathql_db_map.txt (100%) rename helm/{ => software}/mathql/mathql_generator/.depend (100%) rename helm/{ => software}/mathql/mathql_generator/Makefile (100%) rename helm/{ => software}/mathql/mathql_generator/cGLocateInductive.ml (100%) rename helm/{ => software}/mathql/mathql_generator/cGLocateInductive.mli (100%) rename helm/{ => software}/mathql/mathql_generator/cGMatchConclusion.ml (100%) rename helm/{ => software}/mathql/mathql_generator/cGMatchConclusion.mli (100%) rename helm/{ => software}/mathql/mathql_generator/cGSearchPattern.ml (100%) rename helm/{ => software}/mathql/mathql_generator/cGSearchPattern.mli (100%) rename helm/{ => software}/mathql/mathql_generator/mQGTypes.ml (100%) rename helm/{ => software}/mathql/mathql_generator/mQGUtil.ml (100%) rename helm/{ => software}/mathql/mathql_generator/mQGUtil.mli (100%) rename helm/{ => software}/mathql/mathql_generator/mQueryGenerator.ml (100%) rename helm/{ => software}/mathql/mathql_generator/mQueryGenerator.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/.depend (100%) rename helm/{ => software}/mathql/mathql_interpreter/Makefile (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIConn.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIConn.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIMap.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIMap.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIMySql.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIMySql.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIPostgres.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIPostgres.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIProperty.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIProperty.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQITypes.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIUtil.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQIUtil.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryInterpreter.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryInterpreter.mli (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryTLexer.mll (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryTParser.mly (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryUtil.ml (100%) rename helm/{ => software}/mathql/mathql_interpreter/mQueryUtil.mli (100%) rename helm/{ => software}/mathql/mathql_test/.cvsignore (100%) rename helm/{ => software}/mathql/mathql_test/.depend (100%) rename helm/{ => software}/mathql/mathql_test/Makefile (100%) rename helm/{ => software}/mathql/mathql_test/mQGTopLexer.mll (100%) rename helm/{ => software}/mathql/mathql_test/mQGTopParser.mly (100%) rename helm/{ => software}/mathql/mathql_test/mqgtop.ml (100%) rename helm/{ => software}/mathql/mathql_test/mqitop.ml (100%) rename helm/{ => software}/mathql/mathql_test/mqtop.ml (100%) rename helm/{ => software}/mathql/query.xml (100%) rename helm/{ => software}/mathql/result.xml (100%) rename helm/{ => software}/mathql/xmathql.dtd (100%) rename helm/{ => software}/mathql/xmqlresult.dtd (100%) diff --git a/helm/mathql/METAS/meta.helm-mathql.src b/helm/software/mathql/METAS/meta.helm-mathql.src similarity index 100% rename from helm/mathql/METAS/meta.helm-mathql.src rename to helm/software/mathql/METAS/meta.helm-mathql.src diff --git a/helm/mathql/METAS/meta.helm-mathql_generator.src b/helm/software/mathql/METAS/meta.helm-mathql_generator.src similarity index 100% rename from helm/mathql/METAS/meta.helm-mathql_generator.src rename to helm/software/mathql/METAS/meta.helm-mathql_generator.src diff --git a/helm/mathql/METAS/meta.helm-mathql_interpreter.src b/helm/software/mathql/METAS/meta.helm-mathql_interpreter.src similarity index 100% rename from helm/mathql/METAS/meta.helm-mathql_interpreter.src rename to helm/software/mathql/METAS/meta.helm-mathql_interpreter.src diff --git a/helm/mathql/doc/.cvsignore b/helm/software/mathql/doc/.cvsignore similarity index 100% rename from helm/mathql/doc/.cvsignore rename to helm/software/mathql/doc/.cvsignore diff --git a/helm/mathql/doc/llncs.cls b/helm/software/mathql/doc/llncs.cls similarity index 100% rename from helm/mathql/doc/llncs.cls rename to helm/software/mathql/doc/llncs.cls diff --git a/helm/mathql/doc/mathql.tex b/helm/software/mathql/doc/mathql.tex similarity index 100% rename from helm/mathql/doc/mathql.tex rename to helm/software/mathql/doc/mathql.tex diff --git a/helm/mathql/doc/mathql_bib.tex b/helm/software/mathql/doc/mathql_bib.tex similarity index 100% rename from helm/mathql/doc/mathql_bib.tex rename to helm/software/mathql/doc/mathql_bib.tex diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/software/mathql/doc/mathql_introduction.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction.tex rename to helm/software/mathql/doc/mathql_introduction.tex diff --git a/helm/mathql/doc/mathql_introduction_avsets.tex b/helm/software/mathql/doc/mathql_introduction_avsets.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction_avsets.tex rename to helm/software/mathql/doc/mathql_introduction_avsets.tex diff --git a/helm/mathql/doc/mathql_introduction_basic.tex b/helm/software/mathql/doc/mathql_introduction_basic.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction_basic.tex rename to helm/software/mathql/doc/mathql_introduction_basic.tex diff --git a/helm/mathql/doc/mathql_introduction_core.tex b/helm/software/mathql/doc/mathql_introduction_core.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction_core.tex rename to helm/software/mathql/doc/mathql_introduction_core.tex diff --git a/helm/mathql/doc/mathql_introduction_property.tex b/helm/software/mathql/doc/mathql_introduction_property.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction_property.tex rename to helm/software/mathql/doc/mathql_introduction_property.tex diff --git a/helm/mathql/doc/mathql_introduction_textual.tex b/helm/software/mathql/doc/mathql_introduction_textual.tex similarity index 100% rename from helm/mathql/doc/mathql_introduction_textual.tex rename to helm/software/mathql/doc/mathql_introduction_textual.tex diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/software/mathql/doc/mathql_macros.sty similarity index 100% rename from helm/mathql/doc/mathql_macros.sty rename to helm/software/mathql/doc/mathql_macros.sty diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/software/mathql/doc/mathql_operational.tex similarity index 100% rename from helm/mathql/doc/mathql_operational.tex rename to helm/software/mathql/doc/mathql_operational.tex diff --git a/helm/mathql/doc/mathql_operational_background.tex b/helm/software/mathql/doc/mathql_operational_background.tex similarity index 100% rename from helm/mathql/doc/mathql_operational_background.tex rename to helm/software/mathql/doc/mathql_operational_background.tex diff --git a/helm/mathql/doc/mathql_operational_basic.tex b/helm/software/mathql/doc/mathql_operational_basic.tex similarity index 100% rename from helm/mathql/doc/mathql_operational_basic.tex rename to helm/software/mathql/doc/mathql_operational_basic.tex diff --git a/helm/mathql/doc/mathql_operational_core.tex b/helm/software/mathql/doc/mathql_operational_core.tex similarity index 100% rename from helm/mathql/doc/mathql_operational_core.tex rename to helm/software/mathql/doc/mathql_operational_core.tex diff --git a/helm/mathql/doc/mathql_operational_library.tex b/helm/software/mathql/doc/mathql_operational_library.tex similarity index 100% rename from helm/mathql/doc/mathql_operational_library.tex rename to helm/software/mathql/doc/mathql_operational_library.tex diff --git a/helm/mathql/doc/mathql_overview.tex b/helm/software/mathql/doc/mathql_overview.tex similarity index 100% rename from helm/mathql/doc/mathql_overview.tex rename to helm/software/mathql/doc/mathql_overview.tex diff --git a/helm/mathql/doc/mathql_tests.tex b/helm/software/mathql/doc/mathql_tests.tex similarity index 100% rename from helm/mathql/doc/mathql_tests.tex rename to helm/software/mathql/doc/mathql_tests.tex diff --git a/helm/mathql/grammar.txt b/helm/software/mathql/grammar.txt similarity index 100% rename from helm/mathql/grammar.txt rename to helm/software/mathql/grammar.txt diff --git a/helm/mathql/homepage/authors.html b/helm/software/mathql/homepage/authors.html similarity index 100% rename from helm/mathql/homepage/authors.html rename to helm/software/mathql/homepage/authors.html diff --git a/helm/mathql/homepage/documentation.html b/helm/software/mathql/homepage/documentation.html similarity index 100% rename from helm/mathql/homepage/documentation.html rename to helm/software/mathql/homepage/documentation.html diff --git a/helm/mathql/homepage/features.html b/helm/software/mathql/homepage/features.html similarity index 100% rename from helm/mathql/homepage/features.html rename to helm/software/mathql/homepage/features.html diff --git a/helm/mathql/homepage/implementation.html b/helm/software/mathql/homepage/implementation.html similarity index 100% rename from helm/mathql/homepage/implementation.html rename to helm/software/mathql/homepage/implementation.html diff --git a/helm/mathql/homepage/index.html b/helm/software/mathql/homepage/index.html similarity index 100% rename from helm/mathql/homepage/index.html rename to helm/software/mathql/homepage/index.html diff --git a/helm/mathql/homepage/links.html b/helm/software/mathql/homepage/links.html similarity index 100% rename from helm/mathql/homepage/links.html rename to helm/software/mathql/homepage/links.html diff --git a/helm/mathql/homepage/whatsnew.html b/helm/software/mathql/homepage/whatsnew.html similarity index 100% rename from helm/mathql/homepage/whatsnew.html rename to helm/software/mathql/homepage/whatsnew.html diff --git a/helm/mathql/mathql/.depend b/helm/software/mathql/mathql/.depend similarity index 100% rename from helm/mathql/mathql/.depend rename to helm/software/mathql/mathql/.depend diff --git a/helm/mathql/mathql/Makefile b/helm/software/mathql/mathql/Makefile similarity index 100% rename from helm/mathql/mathql/Makefile rename to helm/software/mathql/mathql/Makefile diff --git a/helm/mathql/mathql/mathQL.ml b/helm/software/mathql/mathql/mathQL.ml similarity index 100% rename from helm/mathql/mathql/mathQL.ml rename to helm/software/mathql/mathql/mathQL.ml diff --git a/helm/mathql/mathql_db_map.txt b/helm/software/mathql/mathql_db_map.txt similarity index 100% rename from helm/mathql/mathql_db_map.txt rename to helm/software/mathql/mathql_db_map.txt diff --git a/helm/mathql/mathql_generator/.depend b/helm/software/mathql/mathql_generator/.depend similarity index 100% rename from helm/mathql/mathql_generator/.depend rename to helm/software/mathql/mathql_generator/.depend diff --git a/helm/mathql/mathql_generator/Makefile b/helm/software/mathql/mathql_generator/Makefile similarity index 100% rename from helm/mathql/mathql_generator/Makefile rename to helm/software/mathql/mathql_generator/Makefile diff --git a/helm/mathql/mathql_generator/cGLocateInductive.ml b/helm/software/mathql/mathql_generator/cGLocateInductive.ml similarity index 100% rename from helm/mathql/mathql_generator/cGLocateInductive.ml rename to helm/software/mathql/mathql_generator/cGLocateInductive.ml diff --git a/helm/mathql/mathql_generator/cGLocateInductive.mli b/helm/software/mathql/mathql_generator/cGLocateInductive.mli similarity index 100% rename from helm/mathql/mathql_generator/cGLocateInductive.mli rename to helm/software/mathql/mathql_generator/cGLocateInductive.mli diff --git a/helm/mathql/mathql_generator/cGMatchConclusion.ml b/helm/software/mathql/mathql_generator/cGMatchConclusion.ml similarity index 100% rename from helm/mathql/mathql_generator/cGMatchConclusion.ml rename to helm/software/mathql/mathql_generator/cGMatchConclusion.ml diff --git a/helm/mathql/mathql_generator/cGMatchConclusion.mli b/helm/software/mathql/mathql_generator/cGMatchConclusion.mli similarity index 100% rename from helm/mathql/mathql_generator/cGMatchConclusion.mli rename to helm/software/mathql/mathql_generator/cGMatchConclusion.mli diff --git a/helm/mathql/mathql_generator/cGSearchPattern.ml b/helm/software/mathql/mathql_generator/cGSearchPattern.ml similarity index 100% rename from helm/mathql/mathql_generator/cGSearchPattern.ml rename to helm/software/mathql/mathql_generator/cGSearchPattern.ml diff --git a/helm/mathql/mathql_generator/cGSearchPattern.mli b/helm/software/mathql/mathql_generator/cGSearchPattern.mli similarity index 100% rename from helm/mathql/mathql_generator/cGSearchPattern.mli rename to helm/software/mathql/mathql_generator/cGSearchPattern.mli diff --git a/helm/mathql/mathql_generator/mQGTypes.ml b/helm/software/mathql/mathql_generator/mQGTypes.ml similarity index 100% rename from helm/mathql/mathql_generator/mQGTypes.ml rename to helm/software/mathql/mathql_generator/mQGTypes.ml diff --git a/helm/mathql/mathql_generator/mQGUtil.ml b/helm/software/mathql/mathql_generator/mQGUtil.ml similarity index 100% rename from helm/mathql/mathql_generator/mQGUtil.ml rename to helm/software/mathql/mathql_generator/mQGUtil.ml diff --git a/helm/mathql/mathql_generator/mQGUtil.mli b/helm/software/mathql/mathql_generator/mQGUtil.mli similarity index 100% rename from helm/mathql/mathql_generator/mQGUtil.mli rename to helm/software/mathql/mathql_generator/mQGUtil.mli diff --git a/helm/mathql/mathql_generator/mQueryGenerator.ml b/helm/software/mathql/mathql_generator/mQueryGenerator.ml similarity index 100% rename from helm/mathql/mathql_generator/mQueryGenerator.ml rename to helm/software/mathql/mathql_generator/mQueryGenerator.ml diff --git a/helm/mathql/mathql_generator/mQueryGenerator.mli b/helm/software/mathql/mathql_generator/mQueryGenerator.mli similarity index 100% rename from helm/mathql/mathql_generator/mQueryGenerator.mli rename to helm/software/mathql/mathql_generator/mQueryGenerator.mli diff --git a/helm/mathql/mathql_interpreter/.depend b/helm/software/mathql/mathql_interpreter/.depend similarity index 100% rename from helm/mathql/mathql_interpreter/.depend rename to helm/software/mathql/mathql_interpreter/.depend diff --git a/helm/mathql/mathql_interpreter/Makefile b/helm/software/mathql/mathql_interpreter/Makefile similarity index 100% rename from helm/mathql/mathql_interpreter/Makefile rename to helm/software/mathql/mathql_interpreter/Makefile diff --git a/helm/mathql/mathql_interpreter/mQIConn.ml b/helm/software/mathql/mathql_interpreter/mQIConn.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIConn.ml rename to helm/software/mathql/mathql_interpreter/mQIConn.ml diff --git a/helm/mathql/mathql_interpreter/mQIConn.mli b/helm/software/mathql/mathql_interpreter/mQIConn.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIConn.mli rename to helm/software/mathql/mathql_interpreter/mQIConn.mli diff --git a/helm/mathql/mathql_interpreter/mQIMap.ml b/helm/software/mathql/mathql_interpreter/mQIMap.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIMap.ml rename to helm/software/mathql/mathql_interpreter/mQIMap.ml diff --git a/helm/mathql/mathql_interpreter/mQIMap.mli b/helm/software/mathql/mathql_interpreter/mQIMap.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIMap.mli rename to helm/software/mathql/mathql_interpreter/mQIMap.mli diff --git a/helm/mathql/mathql_interpreter/mQIMySql.ml b/helm/software/mathql/mathql_interpreter/mQIMySql.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIMySql.ml rename to helm/software/mathql/mathql_interpreter/mQIMySql.ml diff --git a/helm/mathql/mathql_interpreter/mQIMySql.mli b/helm/software/mathql/mathql_interpreter/mQIMySql.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIMySql.mli rename to helm/software/mathql/mathql_interpreter/mQIMySql.mli diff --git a/helm/mathql/mathql_interpreter/mQIPostgres.ml b/helm/software/mathql/mathql_interpreter/mQIPostgres.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIPostgres.ml rename to helm/software/mathql/mathql_interpreter/mQIPostgres.ml diff --git a/helm/mathql/mathql_interpreter/mQIPostgres.mli b/helm/software/mathql/mathql_interpreter/mQIPostgres.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIPostgres.mli rename to helm/software/mathql/mathql_interpreter/mQIPostgres.mli diff --git a/helm/mathql/mathql_interpreter/mQIProperty.ml b/helm/software/mathql/mathql_interpreter/mQIProperty.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIProperty.ml rename to helm/software/mathql/mathql_interpreter/mQIProperty.ml diff --git a/helm/mathql/mathql_interpreter/mQIProperty.mli b/helm/software/mathql/mathql_interpreter/mQIProperty.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIProperty.mli rename to helm/software/mathql/mathql_interpreter/mQIProperty.mli diff --git a/helm/mathql/mathql_interpreter/mQITypes.ml b/helm/software/mathql/mathql_interpreter/mQITypes.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQITypes.ml rename to helm/software/mathql/mathql_interpreter/mQITypes.ml diff --git a/helm/mathql/mathql_interpreter/mQIUtil.ml b/helm/software/mathql/mathql_interpreter/mQIUtil.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQIUtil.ml rename to helm/software/mathql/mathql_interpreter/mQIUtil.ml diff --git a/helm/mathql/mathql_interpreter/mQIUtil.mli b/helm/software/mathql/mathql_interpreter/mQIUtil.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQIUtil.mli rename to helm/software/mathql/mathql_interpreter/mQIUtil.mli diff --git a/helm/mathql/mathql_interpreter/mQueryInterpreter.ml b/helm/software/mathql/mathql_interpreter/mQueryInterpreter.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryInterpreter.ml rename to helm/software/mathql/mathql_interpreter/mQueryInterpreter.ml diff --git a/helm/mathql/mathql_interpreter/mQueryInterpreter.mli b/helm/software/mathql/mathql_interpreter/mQueryInterpreter.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryInterpreter.mli rename to helm/software/mathql/mathql_interpreter/mQueryInterpreter.mli diff --git a/helm/mathql/mathql_interpreter/mQueryTLexer.mll b/helm/software/mathql/mathql_interpreter/mQueryTLexer.mll similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryTLexer.mll rename to helm/software/mathql/mathql_interpreter/mQueryTLexer.mll diff --git a/helm/mathql/mathql_interpreter/mQueryTParser.mly b/helm/software/mathql/mathql_interpreter/mQueryTParser.mly similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryTParser.mly rename to helm/software/mathql/mathql_interpreter/mQueryTParser.mly diff --git a/helm/mathql/mathql_interpreter/mQueryUtil.ml b/helm/software/mathql/mathql_interpreter/mQueryUtil.ml similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryUtil.ml rename to helm/software/mathql/mathql_interpreter/mQueryUtil.ml diff --git a/helm/mathql/mathql_interpreter/mQueryUtil.mli b/helm/software/mathql/mathql_interpreter/mQueryUtil.mli similarity index 100% rename from helm/mathql/mathql_interpreter/mQueryUtil.mli rename to helm/software/mathql/mathql_interpreter/mQueryUtil.mli diff --git a/helm/mathql/mathql_test/.cvsignore b/helm/software/mathql/mathql_test/.cvsignore similarity index 100% rename from helm/mathql/mathql_test/.cvsignore rename to helm/software/mathql/mathql_test/.cvsignore diff --git a/helm/mathql/mathql_test/.depend b/helm/software/mathql/mathql_test/.depend similarity index 100% rename from helm/mathql/mathql_test/.depend rename to helm/software/mathql/mathql_test/.depend diff --git a/helm/mathql/mathql_test/Makefile b/helm/software/mathql/mathql_test/Makefile similarity index 100% rename from helm/mathql/mathql_test/Makefile rename to helm/software/mathql/mathql_test/Makefile diff --git a/helm/mathql/mathql_test/mQGTopLexer.mll b/helm/software/mathql/mathql_test/mQGTopLexer.mll similarity index 100% rename from helm/mathql/mathql_test/mQGTopLexer.mll rename to helm/software/mathql/mathql_test/mQGTopLexer.mll diff --git a/helm/mathql/mathql_test/mQGTopParser.mly b/helm/software/mathql/mathql_test/mQGTopParser.mly similarity index 100% rename from helm/mathql/mathql_test/mQGTopParser.mly rename to helm/software/mathql/mathql_test/mQGTopParser.mly diff --git a/helm/mathql/mathql_test/mqgtop.ml b/helm/software/mathql/mathql_test/mqgtop.ml similarity index 100% rename from helm/mathql/mathql_test/mqgtop.ml rename to helm/software/mathql/mathql_test/mqgtop.ml diff --git a/helm/mathql/mathql_test/mqitop.ml b/helm/software/mathql/mathql_test/mqitop.ml similarity index 100% rename from helm/mathql/mathql_test/mqitop.ml rename to helm/software/mathql/mathql_test/mqitop.ml diff --git a/helm/mathql/mathql_test/mqtop.ml b/helm/software/mathql/mathql_test/mqtop.ml similarity index 100% rename from helm/mathql/mathql_test/mqtop.ml rename to helm/software/mathql/mathql_test/mqtop.ml diff --git a/helm/mathql/query.xml b/helm/software/mathql/query.xml similarity index 100% rename from helm/mathql/query.xml rename to helm/software/mathql/query.xml diff --git a/helm/mathql/result.xml b/helm/software/mathql/result.xml similarity index 100% rename from helm/mathql/result.xml rename to helm/software/mathql/result.xml diff --git a/helm/mathql/xmathql.dtd b/helm/software/mathql/xmathql.dtd similarity index 100% rename from helm/mathql/xmathql.dtd rename to helm/software/mathql/xmathql.dtd diff --git a/helm/mathql/xmqlresult.dtd b/helm/software/mathql/xmqlresult.dtd similarity index 100% rename from helm/mathql/xmqlresult.dtd rename to helm/software/mathql/xmqlresult.dtd -- 2.39.2