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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Jul 2003 11:01:34 +0000 (11:01 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Jul 2003 11:01:34 +0000 (11:01 +0000)
commit	0e74e8e94eada756157addce67e4adeb8dff1feb
tree	c10c3249a863efda20dc7a5f84d7a8cddfdaeac4	tree \| snapshot
parent	65e3c9976212e04a4678ff9ce9e3c2f436d06d33	commit \| diff

mathql_generator: new constraint format (more type safe)
mathql_test : moved outside ocaml

34 files changed:

helm/Makefile		diff \| blob \| history
helm/gTopLevel/gTopLevel.ml		diff \| blob \| history
helm/hbugs/tutors/search_pattern_apply_tutor.ml		diff \| blob \| history
helm/mathql_test/.cvsignore	[new file with mode: 0644]	blob
helm/mathql_test/.depend	[new file with mode: 0644]	blob
helm/mathql_test/Makefile	[new file with mode: 0644]	blob
helm/mathql_test/mQGTopLexer.mll	[new file with mode: 0644]	blob
helm/mathql_test/mQGTopParser.mly	[new file with mode: 0644]	blob
helm/mathql_test/mqgtop.ml	[new file with mode: 0644]	blob
helm/mathql_test/mqitop.ml	[new file with mode: 0644]	blob
helm/mathql_test/mqtop.ml	[new file with mode: 0644]	blob
helm/ocaml/META.helm-mathql_test.src	[deleted file]	blob \| history
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/mathql/.depend		diff \| blob \| history
helm/ocaml/mathql_generator/.depend		diff \| blob \| history
helm/ocaml/mathql_generator/Makefile		diff \| blob \| history
helm/ocaml/mathql_generator/mQGTypes.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_generator/mQGUtil.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_generator/mQGUtil.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_generator/mQueryGenerator.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQueryGenerator.mli		diff \| blob \| history
helm/ocaml/mathql_generator/mQueryLevels2.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQueryLevels2.mli		diff \| blob \| history
helm/ocaml/mathql_test/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql_test/.depend	[deleted file]	blob \| history
helm/ocaml/mathql_test/Makefile	[deleted file]	blob \| history
helm/ocaml/mathql_test/mQGTopLexer.mll	[deleted file]	blob \| history
helm/ocaml/mathql_test/mQGTopParser.mly	[deleted file]	blob \| history
helm/ocaml/mathql_test/mqgtop.ml	[deleted file]	blob \| history
helm/ocaml/mathql_test/mqitop.ml	[deleted file]	blob \| history
helm/ocaml/mathql_test/mqtop.ml	[deleted file]	blob \| history
helm/ocaml/tactics/tacticChaser.ml		diff \| blob \| history
helm/ocaml/tactics/tacticChaser.mli		diff \| blob \| history
helm/searchEngine/searchEngine.ml		diff \| blob \| history

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

RSS Atom