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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 24 Nov 2011 19:26:24 +0000 (19:26 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 24 Nov 2011 19:26:24 +0000 (19:26 +0000)
commit	432d0f324b7246c91f20545867c0da4bd25f588e
tree	5549dab28a39121bf3226117555510f82f7c92eb	tree \| snapshot
parent	6d31b4fb75d8ae3b898790e56aa9694fed12d040	commit \| diff

- now destruct tries to clear the replaced variables (from wilmer's
patch)
- dependences update

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_kernel/.depend.opt		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		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/ng_tactics/nDestructTac.ml		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/syntax_extensions/.depend		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.opt		diff \| blob \| history

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

RSS Atom