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	2bc5d5bfa8278945527b3f36ffd467802899b148
tree	a9bc96d483bedf6e7997cdfd07ed8ef2781e2b59	tree \| snapshot
parent	1253cd9cbbdef7def40fa4688d8db953f8c99726	commit \| diff

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

39 files changed:

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

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

RSS Atom