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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 29 Dec 2006 14:35:31 +0000 (14:35 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 29 Dec 2006 14:35:31 +0000 (14:35 +0000)
commit	6e32fcdcb9ba66f4b3a31f283dc24fbe5dccb398
tree	adf2dafb20d18c7cc7fc537289a6280c2f79be31	tree \| snapshot
parent	87da9f97fb41575b986b9567265abef4e67d07af	commit \| diff

now we try two distinct depend files for compilation in byte and native code

39 files changed:

components/Makefile.common		diff \| blob \| history
components/acic_content/.depend.opt	[new file with mode: 0644]	blob
components/binaries/extractor/.depend.opt	[new file with mode: 0644]	blob
components/binaries/extractor/Makefile		diff \| blob \| history
components/binaries/saturate/Makefile		diff \| blob \| history
components/binaries/table_creator/.depend.opt	[new file with mode: 0644]	blob
components/binaries/table_creator/Makefile		diff \| blob \| history
components/binaries/utilities/.depend.opt	[new file with mode: 0644]	blob
components/binaries/utilities/Makefile		diff \| blob \| history
components/cic/.depend.opt	[new file with mode: 0644]	blob
components/cic_acic/.depend.opt	[new file with mode: 0644]	blob
components/cic_disambiguation/.depend.opt	[new file with mode: 0644]	blob
components/cic_proof_checking/.depend.opt	[new file with mode: 0644]	blob
components/cic_unification/.depend.opt	[new file with mode: 0644]	blob
components/content_pres/.depend		diff \| blob \| history
components/content_pres/.depend.opt	[new file with mode: 0644]	blob
components/extlib/.depend.opt	[new file with mode: 0644]	blob
components/getter/.depend.opt	[new file with mode: 0644]	blob
components/grafite/.depend.opt	[new file with mode: 0644]	blob
components/grafite_engine/.depend.opt	[new file with mode: 0644]	blob
components/grafite_parser/.depend.opt	[new file with mode: 0644]	blob
components/hgdome/.depend.opt	[new file with mode: 0644]	blob
components/hmysql/.depend.opt	[new file with mode: 0644]	blob
components/lexicon/.depend.opt	[new file with mode: 0644]	blob
components/library/.depend.opt	[new file with mode: 0644]	blob
components/logger/.depend.opt	[new file with mode: 0644]	blob
components/metadata/.depend.opt	[new file with mode: 0644]	blob
components/registry/.depend.opt	[new file with mode: 0644]	blob
components/syntax_extensions/.depend.opt	[new file with mode: 0644]	blob
components/tactics/.depend.opt	[new file with mode: 0644]	blob
components/tactics/tactics.mli		diff \| blob \| history
components/thread/.depend.opt	[new file with mode: 0644]	blob
components/tptp_grafite/.depend.opt	[new file with mode: 0644]	blob
components/urimanager/.depend.opt	[new file with mode: 0644]	blob
components/whelp/.depend.opt	[new file with mode: 0644]	blob
components/xml/.depend.opt	[new file with mode: 0644]	blob
components/xmldiff/.depend.opt	[new file with mode: 0644]	blob
matita/.depend.opt	[new file with mode: 0644]	blob
matita/Makefile		diff \| blob \| history

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

RSS Atom