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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 17 Mar 2006 09:36:38 +0000 (09:36 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 17 Mar 2006 09:36:38 +0000 (09:36 +0000)
commit	d90d73349df641ea2d18b4c2ff4fe9d970861778
tree	47112df4dbca497205cd0094a0093c3ac891ecb8	tree \| snapshot
parent	bfb097be2d5aaad276ac8f7d4d82d05c244bc0e7	commit \| diff

tests are now handled with a standard Makefile that does not use do_tests.sh

24 files changed:

components/getter/http_getter.ml		diff \| blob \| history
components/getter/http_getter_storage.ml		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/lexicon/lexiconEngine.ml		diff \| blob \| history
components/library/libraryClean.ml		diff \| blob \| history
components/library/libraryMisc.ml		diff \| blob \| history
components/library/libraryMisc.mli		diff \| blob \| history
matita/buildTimeConf.ml.in		diff \| blob \| history
matita/buildTimeConf.mli		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Makefile	[deleted file]	blob \| history
matita/contribs/LAMBDA-TYPES/makefile	[new file with mode: 0644]	blob
matita/contribs/PREDICATIVE-TOPOLOGY/Makefile	[deleted file]	blob \| history
matita/contribs/PREDICATIVE-TOPOLOGY/makefile	[new file with mode: 0644]	blob
matita/library/Makefile	[deleted file]	blob \| history
matita/matita.conf.xml.in		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitadep.ml		diff \| blob \| history
matita/matitamakeLib.ml		diff \| blob \| history
matita/template_makefile.in		diff \| blob \| history
matita/template_makefile_devel.in	[new file with mode: 0644]	blob
matita/tests/Makefile	[deleted file]	blob \| history
matita/tests/makefile	[new file with mode: 0644]	blob

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