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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 4 Nov 2010 22:32:02 +0000 (22:32 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 4 Nov 2010 22:32:02 +0000 (22:32 +0000)
commit	f9f775a550264a8dc9ce7ea9a48b79892a122c3c
tree	780a1fcae2ce605e2c9f0267cf330e8f1d549971	tree \| snapshot
parent	2a59f55f4625ebabb02aefc3cb8c8842040be554	commit \| diff

- further simplifications (??) of the status dependencies

28 files changed:

matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matita/components/grafite_parser/.depend		diff \| blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml	[deleted file]	blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli	[deleted file]	blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/lexicon/.depend		diff \| blob \| history
matita/components/lexicon/Makefile		diff \| blob \| history
matita/components/lexicon/grafiteDisambiguate.ml	[new file with mode: 0644]	blob
matita/components/lexicon/grafiteDisambiguate.mli	[new file with mode: 0644]	blob
matita/components/lexicon/lexiconSync.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.mli		diff \| blob \| history
matita/components/lexicon/lexiconTypes.ml	[deleted file]	blob \| history
matita/components/lexicon/lexiconTypes.mli	[deleted file]	blob \| history
matita/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matita/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
matita/components/statuses.txt		diff \| blob \| history
matita/matita/applyTransformation.ml		diff \| blob \| history
matita/matita/applyTransformation.mli		diff \| blob \| history
matita/matita/matita.ml		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history
matita/matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history

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

RSS Atom