]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdb6fb1) | patch
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)
commitd93e0acbd98e2ae677e0296ae9e09836d44626a2
tree53626de32fec503207d9c6365cac1511151d7b82tree | snapshot
parentbdb6fb19553a08101912c28ffb9c882393ccb11fcommit | diff
moved mathql/ under software/
79 files changed:
mathql/METAS/meta.helm-mathql.src [new file with mode: 0644] blob
mathql/METAS/meta.helm-mathql_generator.src [new file with mode: 0644] blob
mathql/METAS/meta.helm-mathql_interpreter.src [new file with mode: 0644] blob
mathql/doc/.cvsignore [new file with mode: 0644] blob
mathql/doc/llncs.cls [new file with mode: 0644] blob
mathql/doc/mathql.tex [new file with mode: 0644] blob
mathql/doc/mathql_bib.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction_avsets.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction_basic.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction_core.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction_property.tex [new file with mode: 0644] blob
mathql/doc/mathql_introduction_textual.tex [new file with mode: 0644] blob
mathql/doc/mathql_macros.sty [new file with mode: 0644] blob
mathql/doc/mathql_operational.tex [new file with mode: 0644] blob
mathql/doc/mathql_operational_background.tex [new file with mode: 0644] blob
mathql/doc/mathql_operational_basic.tex [new file with mode: 0644] blob
mathql/doc/mathql_operational_core.tex [new file with mode: 0644] blob
mathql/doc/mathql_operational_library.tex [new file with mode: 0644] blob
mathql/doc/mathql_overview.tex [new file with mode: 0644] blob
mathql/doc/mathql_tests.tex [new file with mode: 0644] blob
mathql/grammar.txt [new file with mode: 0644] blob
mathql/homepage/authors.html [new file with mode: 0644] blob
mathql/homepage/documentation.html [new file with mode: 0644] blob
mathql/homepage/features.html [new file with mode: 0644] blob
mathql/homepage/implementation.html [new file with mode: 0644] blob
mathql/homepage/index.html [new file with mode: 0644] blob
mathql/homepage/links.html [new file with mode: 0644] blob
mathql/homepage/whatsnew.html [new file with mode: 0644] blob
mathql/mathql/.depend [new file with mode: 0644] blob
mathql/mathql/Makefile [new file with mode: 0644] blob
mathql/mathql/mathQL.ml [new file with mode: 0644] blob
mathql/mathql_db_map.txt [new file with mode: 0644] blob
mathql/mathql_generator/.depend [new file with mode: 0644] blob
mathql/mathql_generator/Makefile [new file with mode: 0644] blob
mathql/mathql_generator/cGLocateInductive.ml [new file with mode: 0644] blob
mathql/mathql_generator/cGLocateInductive.mli [new file with mode: 0644] blob
mathql/mathql_generator/cGMatchConclusion.ml [new file with mode: 0644] blob
mathql/mathql_generator/cGMatchConclusion.mli [new file with mode: 0644] blob
mathql/mathql_generator/cGSearchPattern.ml [new file with mode: 0644] blob
mathql/mathql_generator/cGSearchPattern.mli [new file with mode: 0644] blob
mathql/mathql_generator/mQGTypes.ml [new file with mode: 0644] blob
mathql/mathql_generator/mQGUtil.ml [new file with mode: 0644] blob
mathql/mathql_generator/mQGUtil.mli [new file with mode: 0644] blob
mathql/mathql_generator/mQueryGenerator.ml [new file with mode: 0644] blob
mathql/mathql_generator/mQueryGenerator.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/.depend [new file with mode: 0644] blob
mathql/mathql_interpreter/Makefile [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIConn.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIConn.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIMap.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIMap.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIMySql.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIMySql.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIPostgres.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIPostgres.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIProperty.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIProperty.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQITypes.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIUtil.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQIUtil.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryInterpreter.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryInterpreter.mli [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryTLexer.mll [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryTParser.mly [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryUtil.ml [new file with mode: 0644] blob
mathql/mathql_interpreter/mQueryUtil.mli [new file with mode: 0644] blob
mathql/mathql_test/.cvsignore [new file with mode: 0644] blob
mathql/mathql_test/.depend [new file with mode: 0644] blob
mathql/mathql_test/Makefile [new file with mode: 0644] blob
mathql/mathql_test/mQGTopLexer.mll [new file with mode: 0644] blob
mathql/mathql_test/mQGTopParser.mly [new file with mode: 0644] blob
mathql/mathql_test/mqgtop.ml [new file with mode: 0644] blob
mathql/mathql_test/mqitop.ml [new file with mode: 0644] blob
mathql/mathql_test/mqtop.ml [new file with mode: 0644] blob
mathql/query.xml [new file with mode: 0644] blob
mathql/result.xml [new file with mode: 0644] blob
mathql/xmathql.dtd [new file with mode: 0644] blob
mathql/xmqlresult.dtd [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.