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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Jan 2015 12:17:43 +0000 (12:17 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Jan 2015 12:17:43 +0000 (12:17 +0000)
commit	433d9c9612c1557e03a549e004c796c1137d4b4a
tree	49e6047764b818bceed150ae17ccc7c3e357d685	tree \| snapshot
parent	e90313fa853ba63f29416c2d0de40b13c913e567	commit \| diff

dependences update

41 files changed:

helm/software/components/acic_content/.depend		diff \| blob \| history
helm/software/components/acic_procedural/.depend		diff \| blob \| history
helm/software/components/binaries/extractor/.depend		diff \| blob \| history
helm/software/components/binaries/table_creator/.depend		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/cic/.depend		diff \| blob \| history
helm/software/components/cic_acic/.depend		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend		diff \| blob \| history
helm/software/components/cic_exportation/.depend		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend		diff \| blob \| history
helm/software/components/cic_unification/.depend		diff \| blob \| history
helm/software/components/content_pres/.depend		diff \| blob \| history
helm/software/components/disambiguation/.depend		diff \| blob \| history
helm/software/components/extlib/.depend		diff \| blob \| history
helm/software/components/getter/.depend		diff \| blob \| history
helm/software/components/grafite/.depend		diff \| blob \| history
helm/software/components/grafite_engine/.depend		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/hgdome/.depend		diff \| blob \| history
helm/software/components/hmysql/.depend		diff \| blob \| history
helm/software/components/lexicon/.depend		diff \| blob \| history
helm/software/components/library/.depend		diff \| blob \| history
helm/software/components/logger/.depend		diff \| blob \| history
helm/software/components/metadata/.depend		diff \| blob \| history
helm/software/components/ng_cic_content/.depend		diff \| blob \| history
helm/software/components/ng_disambiguation/.depend		diff \| blob \| history
helm/software/components/ng_kernel/.depend		diff \| blob \| history
helm/software/components/ng_library/.depend		diff \| blob \| history
helm/software/components/ng_paramodulation/.depend		diff \| blob \| history
helm/software/components/ng_refiner/.depend		diff \| blob \| history
helm/software/components/ng_tactics/.depend		diff \| blob \| history
helm/software/components/registry/.depend		diff \| blob \| history
helm/software/components/syntax_extensions/.depend		diff \| blob \| history
helm/software/components/tactics/.depend		diff \| blob \| history
helm/software/components/thread/.depend		diff \| blob \| history
helm/software/components/tptp_grafite/.depend		diff \| blob \| history
helm/software/components/urimanager/.depend		diff \| blob \| history
helm/software/components/whelp/.depend		diff \| blob \| history
helm/software/components/xml/.depend		diff \| blob \| history
helm/software/components/xmldiff/.depend		diff \| blob \| history
helm/software/matita/.depend		diff \| blob \| history

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

RSS Atom