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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4a62bde) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 6 Jan 2008 20:46:39 +0000 (20:46 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sun, 6 Jan 2008 20:46:39 +0000 (20:46 +0000)
commit	3c8a3783837bf7773437b12a089b8edf93879b5d
tree	4feab4136a249b9e3145fc55c406039b1c1689a1	tree \| snapshot
parent	4a62bde42e3655a7829b9281d9b9057dc32c0471	commit \| diff

huge amount of work to make out Make crawl roots and
compile recursively what is needed

18 files changed:

components/cic_disambiguation/.depend		diff \| blob \| history
components/cic_disambiguation/.depend.opt		diff \| blob \| history
components/grafite_parser/.depend		diff \| blob \| history
components/grafite_parser/.depend.opt		diff \| blob \| history
components/library/.depend.opt		diff \| blob \| history
components/library/librarian.ml		diff \| blob \| history
components/library/librarian.mli		diff \| blob \| history
matita/.depend		diff \| blob \| history
matita/.depend.opt		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/make.ml	[deleted file]	blob \| history
matita/make.mli	[deleted file]	blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaScript.mli		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitacLib.mli		diff \| blob \| history
matita/matitadep.ml		diff \| blob \| history

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