]> matita.cs.unibo.it Git - helm.git/commit
moved mathql/ under software/
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 11:33:01 +0000 (11:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 11:33:01 +0000 (11:33 +0000)
commit55dc61d4b5a62883ea5532ed61e8780ca82f4bd7
treea1e64210826b424870f64fe614be64afdfa3b414
parent3e84eec9bbaf93687f72d1a77ca03dea34b50739
moved mathql/ under software/
158 files changed:
helm/mathql/METAS/meta.helm-mathql.src [deleted file]
helm/mathql/METAS/meta.helm-mathql_generator.src [deleted file]
helm/mathql/METAS/meta.helm-mathql_interpreter.src [deleted file]
helm/mathql/doc/.cvsignore [deleted file]
helm/mathql/doc/llncs.cls [deleted file]
helm/mathql/doc/mathql.tex [deleted file]
helm/mathql/doc/mathql_bib.tex [deleted file]
helm/mathql/doc/mathql_introduction.tex [deleted file]
helm/mathql/doc/mathql_introduction_avsets.tex [deleted file]
helm/mathql/doc/mathql_introduction_basic.tex [deleted file]
helm/mathql/doc/mathql_introduction_core.tex [deleted file]
helm/mathql/doc/mathql_introduction_property.tex [deleted file]
helm/mathql/doc/mathql_introduction_textual.tex [deleted file]
helm/mathql/doc/mathql_macros.sty [deleted file]
helm/mathql/doc/mathql_operational.tex [deleted file]
helm/mathql/doc/mathql_operational_background.tex [deleted file]
helm/mathql/doc/mathql_operational_basic.tex [deleted file]
helm/mathql/doc/mathql_operational_core.tex [deleted file]
helm/mathql/doc/mathql_operational_library.tex [deleted file]
helm/mathql/doc/mathql_overview.tex [deleted file]
helm/mathql/doc/mathql_tests.tex [deleted file]
helm/mathql/grammar.txt [deleted file]
helm/mathql/homepage/authors.html [deleted file]
helm/mathql/homepage/documentation.html [deleted file]
helm/mathql/homepage/features.html [deleted file]
helm/mathql/homepage/implementation.html [deleted file]
helm/mathql/homepage/index.html [deleted file]
helm/mathql/homepage/links.html [deleted file]
helm/mathql/homepage/whatsnew.html [deleted file]
helm/mathql/mathql/.depend [deleted file]
helm/mathql/mathql/Makefile [deleted file]
helm/mathql/mathql/mathQL.ml [deleted file]
helm/mathql/mathql_db_map.txt [deleted file]
helm/mathql/mathql_generator/.depend [deleted file]
helm/mathql/mathql_generator/Makefile [deleted file]
helm/mathql/mathql_generator/cGLocateInductive.ml [deleted file]
helm/mathql/mathql_generator/cGLocateInductive.mli [deleted file]
helm/mathql/mathql_generator/cGMatchConclusion.ml [deleted file]
helm/mathql/mathql_generator/cGMatchConclusion.mli [deleted file]
helm/mathql/mathql_generator/cGSearchPattern.ml [deleted file]
helm/mathql/mathql_generator/cGSearchPattern.mli [deleted file]
helm/mathql/mathql_generator/mQGTypes.ml [deleted file]
helm/mathql/mathql_generator/mQGUtil.ml [deleted file]
helm/mathql/mathql_generator/mQGUtil.mli [deleted file]
helm/mathql/mathql_generator/mQueryGenerator.ml [deleted file]
helm/mathql/mathql_generator/mQueryGenerator.mli [deleted file]
helm/mathql/mathql_interpreter/.depend [deleted file]
helm/mathql/mathql_interpreter/Makefile [deleted file]
helm/mathql/mathql_interpreter/mQIConn.ml [deleted file]
helm/mathql/mathql_interpreter/mQIConn.mli [deleted file]
helm/mathql/mathql_interpreter/mQIMap.ml [deleted file]
helm/mathql/mathql_interpreter/mQIMap.mli [deleted file]
helm/mathql/mathql_interpreter/mQIMySql.ml [deleted file]
helm/mathql/mathql_interpreter/mQIMySql.mli [deleted file]
helm/mathql/mathql_interpreter/mQIPostgres.ml [deleted file]
helm/mathql/mathql_interpreter/mQIPostgres.mli [deleted file]
helm/mathql/mathql_interpreter/mQIProperty.ml [deleted file]
helm/mathql/mathql_interpreter/mQIProperty.mli [deleted file]
helm/mathql/mathql_interpreter/mQITypes.ml [deleted file]
helm/mathql/mathql_interpreter/mQIUtil.ml [deleted file]
helm/mathql/mathql_interpreter/mQIUtil.mli [deleted file]
helm/mathql/mathql_interpreter/mQueryInterpreter.ml [deleted file]
helm/mathql/mathql_interpreter/mQueryInterpreter.mli [deleted file]
helm/mathql/mathql_interpreter/mQueryTLexer.mll [deleted file]
helm/mathql/mathql_interpreter/mQueryTParser.mly [deleted file]
helm/mathql/mathql_interpreter/mQueryUtil.ml [deleted file]
helm/mathql/mathql_interpreter/mQueryUtil.mli [deleted file]
helm/mathql/mathql_test/.cvsignore [deleted file]
helm/mathql/mathql_test/.depend [deleted file]
helm/mathql/mathql_test/Makefile [deleted file]
helm/mathql/mathql_test/mQGTopLexer.mll [deleted file]
helm/mathql/mathql_test/mQGTopParser.mly [deleted file]
helm/mathql/mathql_test/mqgtop.ml [deleted file]
helm/mathql/mathql_test/mqitop.ml [deleted file]
helm/mathql/mathql_test/mqtop.ml [deleted file]
helm/mathql/query.xml [deleted file]
helm/mathql/result.xml [deleted file]
helm/mathql/xmathql.dtd [deleted file]
helm/mathql/xmqlresult.dtd [deleted file]
helm/software/mathql/METAS/meta.helm-mathql.src [new file with mode: 0644]
helm/software/mathql/METAS/meta.helm-mathql_generator.src [new file with mode: 0644]
helm/software/mathql/METAS/meta.helm-mathql_interpreter.src [new file with mode: 0644]
helm/software/mathql/doc/.cvsignore [new file with mode: 0644]
helm/software/mathql/doc/llncs.cls [new file with mode: 0644]
helm/software/mathql/doc/mathql.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_bib.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction_avsets.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction_basic.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction_core.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction_property.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_introduction_textual.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_macros.sty [new file with mode: 0644]
helm/software/mathql/doc/mathql_operational.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_operational_background.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_operational_basic.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_operational_core.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_operational_library.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_overview.tex [new file with mode: 0644]
helm/software/mathql/doc/mathql_tests.tex [new file with mode: 0644]
helm/software/mathql/grammar.txt [new file with mode: 0644]
helm/software/mathql/homepage/authors.html [new file with mode: 0644]
helm/software/mathql/homepage/documentation.html [new file with mode: 0644]
helm/software/mathql/homepage/features.html [new file with mode: 0644]
helm/software/mathql/homepage/implementation.html [new file with mode: 0644]
helm/software/mathql/homepage/index.html [new file with mode: 0644]
helm/software/mathql/homepage/links.html [new file with mode: 0644]
helm/software/mathql/homepage/whatsnew.html [new file with mode: 0644]
helm/software/mathql/mathql/.depend [new file with mode: 0644]
helm/software/mathql/mathql/Makefile [new file with mode: 0644]
helm/software/mathql/mathql/mathQL.ml [new file with mode: 0644]
helm/software/mathql/mathql_db_map.txt [new file with mode: 0644]
helm/software/mathql/mathql_generator/.depend [new file with mode: 0644]
helm/software/mathql/mathql_generator/Makefile [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGLocateInductive.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGLocateInductive.mli [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGMatchConclusion.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGMatchConclusion.mli [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGSearchPattern.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/cGSearchPattern.mli [new file with mode: 0644]
helm/software/mathql/mathql_generator/mQGTypes.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/mQGUtil.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/mQGUtil.mli [new file with mode: 0644]
helm/software/mathql/mathql_generator/mQueryGenerator.ml [new file with mode: 0644]
helm/software/mathql/mathql_generator/mQueryGenerator.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/.depend [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/Makefile [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIConn.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIConn.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIMap.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIMap.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIMySql.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIMySql.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIPostgres.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIPostgres.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIProperty.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIProperty.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQITypes.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIUtil.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQIUtil.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryInterpreter.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryInterpreter.mli [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryTLexer.mll [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryTParser.mly [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryUtil.ml [new file with mode: 0644]
helm/software/mathql/mathql_interpreter/mQueryUtil.mli [new file with mode: 0644]
helm/software/mathql/mathql_test/.cvsignore [new file with mode: 0644]
helm/software/mathql/mathql_test/.depend [new file with mode: 0644]
helm/software/mathql/mathql_test/Makefile [new file with mode: 0644]
helm/software/mathql/mathql_test/mQGTopLexer.mll [new file with mode: 0644]
helm/software/mathql/mathql_test/mQGTopParser.mly [new file with mode: 0644]
helm/software/mathql/mathql_test/mqgtop.ml [new file with mode: 0644]
helm/software/mathql/mathql_test/mqitop.ml [new file with mode: 0644]
helm/software/mathql/mathql_test/mqtop.ml [new file with mode: 0644]
helm/software/mathql/query.xml [new file with mode: 0644]
helm/software/mathql/result.xml [new file with mode: 0644]
helm/software/mathql/xmathql.dtd [new file with mode: 0644]
helm/software/mathql/xmqlresult.dtd [new file with mode: 0644]