matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 6 Feb 2006 11:33:01 +0000 (11:33 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 6 Feb 2006 11:33:01 +0000 (11:33 +0000)
commit	55dc61d4b5a62883ea5532ed61e8780ca82f4bd7
tree	a1e64210826b424870f64fe614be64afdfa3b414	tree \| snapshot
parent	3e84eec9bbaf93687f72d1a77ca03dea34b50739	commit \| diff

moved mathql/ under software/

158 files changed:

helm/mathql/METAS/meta.helm-mathql.src	[deleted file]	blob \| history
helm/mathql/METAS/meta.helm-mathql_generator.src	[deleted file]	blob \| history
helm/mathql/METAS/meta.helm-mathql_interpreter.src	[deleted file]	blob \| history
helm/mathql/doc/.cvsignore	[deleted file]	blob \| history
helm/mathql/doc/llncs.cls	[deleted file]	blob \| history
helm/mathql/doc/mathql.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_bib.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_avsets.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_basic.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_core.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_property.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_textual.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_macros.sty	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_background.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_basic.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_core.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_library.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_overview.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_tests.tex	[deleted file]	blob \| history
helm/mathql/grammar.txt	[deleted file]	blob \| history
helm/mathql/homepage/authors.html	[deleted file]	blob \| history
helm/mathql/homepage/documentation.html	[deleted file]	blob \| history
helm/mathql/homepage/features.html	[deleted file]	blob \| history
helm/mathql/homepage/implementation.html	[deleted file]	blob \| history
helm/mathql/homepage/index.html	[deleted file]	blob \| history
helm/mathql/homepage/links.html	[deleted file]	blob \| history
helm/mathql/homepage/whatsnew.html	[deleted file]	blob \| history
helm/mathql/mathql/.depend	[deleted file]	blob \| history
helm/mathql/mathql/Makefile	[deleted file]	blob \| history
helm/mathql/mathql/mathQL.ml	[deleted file]	blob \| history
helm/mathql/mathql_db_map.txt	[deleted file]	blob \| history
helm/mathql/mathql_generator/.depend	[deleted file]	blob \| history
helm/mathql/mathql_generator/Makefile	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGLocateInductive.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGLocateInductive.mli	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGMatchConclusion.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGMatchConclusion.mli	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGSearchPattern.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/cGSearchPattern.mli	[deleted file]	blob \| history
helm/mathql/mathql_generator/mQGTypes.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/mQGUtil.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/mQGUtil.mli	[deleted file]	blob \| history
helm/mathql/mathql_generator/mQueryGenerator.ml	[deleted file]	blob \| history
helm/mathql/mathql_generator/mQueryGenerator.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/.depend	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/Makefile	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIConn.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIConn.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIMap.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIMap.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIMySql.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIMySql.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIPostgres.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIPostgres.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIProperty.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIProperty.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQITypes.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIUtil.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQIUtil.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryInterpreter.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryInterpreter.mli	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryTLexer.mll	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryTParser.mly	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryUtil.ml	[deleted file]	blob \| history
helm/mathql/mathql_interpreter/mQueryUtil.mli	[deleted file]	blob \| history
helm/mathql/mathql_test/.cvsignore	[deleted file]	blob \| history
helm/mathql/mathql_test/.depend	[deleted file]	blob \| history
helm/mathql/mathql_test/Makefile	[deleted file]	blob \| history
helm/mathql/mathql_test/mQGTopLexer.mll	[deleted file]	blob \| history
helm/mathql/mathql_test/mQGTopParser.mly	[deleted file]	blob \| history
helm/mathql/mathql_test/mqgtop.ml	[deleted file]	blob \| history
helm/mathql/mathql_test/mqitop.ml	[deleted file]	blob \| history
helm/mathql/mathql_test/mqtop.ml	[deleted file]	blob \| history
helm/mathql/query.xml	[deleted file]	blob \| history
helm/mathql/result.xml	[deleted file]	blob \| history
helm/mathql/xmathql.dtd	[deleted file]	blob \| history
helm/mathql/xmqlresult.dtd	[deleted file]	blob \| history
helm/software/mathql/METAS/meta.helm-mathql.src	[new file with mode: 0644]	blob
helm/software/mathql/METAS/meta.helm-mathql_generator.src	[new file with mode: 0644]	blob
helm/software/mathql/METAS/meta.helm-mathql_interpreter.src	[new file with mode: 0644]	blob
helm/software/mathql/doc/.cvsignore	[new file with mode: 0644]	blob
helm/software/mathql/doc/llncs.cls	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_bib.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction_avsets.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction_basic.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction_core.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction_property.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_introduction_textual.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_macros.sty	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_operational.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_operational_background.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_operational_basic.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_operational_core.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_operational_library.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_overview.tex	[new file with mode: 0644]	blob
helm/software/mathql/doc/mathql_tests.tex	[new file with mode: 0644]	blob
helm/software/mathql/grammar.txt	[new file with mode: 0644]	blob
helm/software/mathql/homepage/authors.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/documentation.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/features.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/implementation.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/index.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/links.html	[new file with mode: 0644]	blob
helm/software/mathql/homepage/whatsnew.html	[new file with mode: 0644]	blob
helm/software/mathql/mathql/.depend	[new file with mode: 0644]	blob
helm/software/mathql/mathql/Makefile	[new file with mode: 0644]	blob
helm/software/mathql/mathql/mathQL.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_db_map.txt	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/.depend	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/Makefile	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGLocateInductive.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGLocateInductive.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGMatchConclusion.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGMatchConclusion.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGSearchPattern.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/cGSearchPattern.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/mQGTypes.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/mQGUtil.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/mQGUtil.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/mQueryGenerator.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_generator/mQueryGenerator.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/.depend	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/Makefile	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIConn.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIConn.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIMap.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIMap.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIMySql.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIMySql.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIPostgres.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIPostgres.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIProperty.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIProperty.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQITypes.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIUtil.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQIUtil.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryInterpreter.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryInterpreter.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryTLexer.mll	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryTParser.mly	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryUtil.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_interpreter/mQueryUtil.mli	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/.cvsignore	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/.depend	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/Makefile	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/mQGTopLexer.mll	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/mQGTopParser.mly	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/mqgtop.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/mqitop.ml	[new file with mode: 0644]	blob
helm/software/mathql/mathql_test/mqtop.ml	[new file with mode: 0644]	blob
helm/software/mathql/query.xml	[new file with mode: 0644]	blob
helm/software/mathql/result.xml	[new file with mode: 0644]	blob
helm/software/mathql/xmathql.dtd	[new file with mode: 0644]	blob
helm/software/mathql/xmqlresult.dtd	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom