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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 7 Jul 2009 01:49:29 +0000 (01:49 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 7 Jul 2009 01:49:29 +0000 (01:49 +0000)
commit	a7237500e8a2a4237a6ae8ba4b8301f7bbcb6acb
tree	2e44c44d4d15e890807f719f829991be11a2d0b5	tree \| snapshot
parent	61fdd44c21a3655c3dcea52601c59b31414f8860	commit \| diff

1) Include files for NG were neither recursively processes nor accumulated.
They are now recursively processed (is this the best solution???)
2) Bug fixed (an assertion raised in including an included file because of
a false assertion on references)

48 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.opt		diff \| blob \| history
helm/software/components/binaries/transcript/grafite.ml		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/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite/grafiteMarshal.ml		diff \| blob \| history
helm/software/components/grafite_engine/.depend		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		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/lexicon/lexiconMarshal.ml		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_kernel/nCicLibrary.mli		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/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/tptp_grafite/tptp2grafite.ml		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/matitacLib.ml		diff \| blob \| history

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

RSS Atom