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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 13:21:54 +0000 (13:21 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 13:21:54 +0000 (13:21 +0000)
commit	729e08f5fb86b3ffee460fda4577b024ab5888aa
tree	ff0e39d003cb816ede70b9d3cbca87f22ca0a4e3	tree \| snapshot
parent	d284dd23d0e12a62a001d3473eadf4942d12ffaa	commit \| diff

Cic.term and Cic.obj unused!

26 files changed:

matita/components/binaries/transcript/grafite.ml		diff \| blob \| history
matita/components/cic/.depend		diff \| blob \| history
matita/components/cic/cic.ml		diff \| blob \| history
matita/components/grafite/grafiteAst.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.mli		diff \| blob \| history
matita/components/grafite/grafiteMarshal.ml		diff \| blob \| history
matita/components/grafite/grafiteMarshal.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/grafite_parser/test_parser.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.mli		diff \| blob \| history
matita/components/ng_refiner/nCicCoercion.mli		diff \| blob \| history
matita/components/ng_tactics/continuationals.ml		diff \| blob \| history
matita/components/ng_tactics/continuationals.mli		diff \| blob \| history
matita/matita/matitaEngine.ml		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