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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 13 Sep 2018 12:36:56 +0000 (14:36 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 13 Sep 2018 12:36:56 +0000 (14:36 +0200)
commit	df0dc72bccac82b3dd69108b5996d7008d007601
tree	2bee22b125ed33c1961bf25758f63c3f05360a2d	tree \| snapshot
parent	b98ec1a1a37602eca524dc5487c357a200bbb5b6	commit \| diff

dependences for ocaml version 4.05.0

44 files changed:

matita/components/content/.depend		diff \| blob \| history
matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content_pres/.depend		diff \| blob \| history
matita/components/content_pres/.depend.opt		diff \| blob \| history
matita/components/disambiguation/.depend		diff \| blob \| history
matita/components/disambiguation/.depend.opt		diff \| blob \| history
matita/components/extlib/.depend		diff \| blob \| history
matita/components/extlib/.depend.opt		diff \| blob \| history
matita/components/getter/.depend		diff \| blob \| history
matita/components/getter/.depend.opt		diff \| blob \| history
matita/components/grafite/.depend		diff \| blob \| history
matita/components/grafite/.depend.opt		diff \| blob \| history
matita/components/grafite_engine/.depend		diff \| blob \| history
matita/components/grafite_engine/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/.depend		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/library/.depend		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/logger/.depend		diff \| blob \| history
matita/components/logger/.depend.opt		diff \| blob \| history
matita/components/ng_cic_content/.depend		diff \| blob \| history
matita/components/ng_cic_content/.depend.opt		diff \| blob \| history
matita/components/ng_disambiguation/.depend		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		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/.depend		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		diff \| blob \| history
matita/components/ng_refiner/.depend		diff \| blob \| history
matita/components/ng_refiner/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/.depend		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/registry/.depend		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/syntax_extensions/.depend.opt		diff \| blob \| history
matita/components/thread/.depend		diff \| blob \| history
matita/components/thread/.depend.opt		diff \| blob \| history
matita/components/xml/.depend		diff \| blob \| history
matita/components/xml/.depend.opt		diff \| blob \| history
matita/matita/.depend		diff \| blob \| history

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

RSS Atom