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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 28 Dec 2018 14:33:07 +0000 (15:33 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200)
commit	990530d17001326448884ea9bdd0d756af9280d9
tree	7d483f19b5a5c0e972a2aa10bd7151bb75e4477e	tree \| snapshot
parent	7f8e7a37cb0eca344399a51c85db5e5d2984a43b	commit \| diff

make depend.opt

25 files changed:

matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content_pres/.depend.opt		diff \| blob \| history
matita/components/disambiguation/.depend.opt		diff \| blob \| history
matita/components/extlib/.depend.opt		diff \| blob \| history
matita/components/getter/.depend.opt		diff \| blob \| history
matita/components/grafite/.depend.opt		diff \| blob \| history
matita/components/grafite_engine/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/logger/.depend.opt		diff \| blob \| history
matita/components/ng_cic_content/.depend.opt		diff \| blob \| history
matita/components/ng_disambiguation/.depend.opt		diff \| blob \| history
matita/components/ng_extraction/.depend		diff \| blob \| history
matita/components/ng_extraction/.depend.opt		diff \| blob \| history
matita/components/ng_kernel/.depend		diff \| blob \| history
matita/components/ng_kernel/.depend.opt		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_refiner/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/syntax_extensions/.depend.opt		diff \| blob \| history
matita/components/thread/.depend.opt		diff \| blob \| history
matita/components/xml/.depend.opt		diff \| blob \| history
matita/matita/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history

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