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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 25 Jun 2009 19:16:36 +0000 (19:16 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 25 Jun 2009 19:16:36 +0000 (19:16 +0000)
commit	57c7d6ef239b4c2b070721715887684adf41159c
tree	d6ca83556bb392623d5a88085e7f0e46f7527e83	tree \| snapshot
parent	f7bfbdc706a75256c0e9b15ecc242175f562eb71	commit \| diff

- some depend files :)

42 files changed:

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

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

RSS Atom