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 09:23:01 +0000 (09:23 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 8 Oct 2010 09:23:01 +0000 (09:23 +0000)
commit	8a660ee06d72cfee52c707bb1d8d8be3bab0d682
tree	0b1020b030dc27a43415088f2aec7ca98ac4cda7	tree \| snapshot
parent	5553ac7623425bce6f34eed6e17d4f0f8163e9aa	commit \| diff

cicNotation* ==> notation*

68 files changed:

matita/components/binaries/transcript/grafite.ml		diff \| blob \| history
matita/components/content/.depend		diff \| blob \| history
matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content/Makefile		diff \| blob \| history
matita/components/content/cicNotationEnv.ml	[deleted file]	blob \| history
matita/components/content/cicNotationEnv.mli	[deleted file]	blob \| history
matita/components/content/cicNotationPp.ml	[deleted file]	blob \| history
matita/components/content/cicNotationPp.mli	[deleted file]	blob \| history
matita/components/content/cicNotationPt.ml	[deleted file]	blob \| history
matita/components/content/cicNotationUtil.ml	[deleted file]	blob \| history
matita/components/content/cicNotationUtil.mli	[deleted file]	blob \| history
matita/components/content/interpretations.ml		diff \| blob \| history
matita/components/content/interpretations.mli		diff \| blob \| history
matita/components/content/notationEnv.ml	[new file with mode: 0644]	blob
matita/components/content/notationEnv.mli	[new file with mode: 0644]	blob
matita/components/content/notationPp.ml	[new file with mode: 0644]	blob
matita/components/content/notationPp.mli	[new file with mode: 0644]	blob
matita/components/content/notationPt.ml	[new file with mode: 0644]	blob
matita/components/content/notationUtil.ml	[new file with mode: 0644]	blob
matita/components/content/notationUtil.mli	[new file with mode: 0644]	blob
matita/components/content_pres/cicNotationParser.ml		diff \| blob \| history
matita/components/content_pres/cicNotationParser.mli		diff \| blob \| history
matita/components/content_pres/cicNotationPres.ml		diff \| blob \| history
matita/components/content_pres/cicNotationPres.mli		diff \| blob \| history
matita/components/content_pres/content2pres.ml		diff \| blob \| history
matita/components/content_pres/content2pres.mli		diff \| blob \| history
matita/components/content_pres/content2presMatcher.ml		diff \| blob \| history
matita/components/content_pres/content2presMatcher.mli		diff \| blob \| history
matita/components/content_pres/sequent2pres.mli		diff \| blob \| history
matita/components/content_pres/termContentPres.ml		diff \| blob \| history
matita/components/content_pres/termContentPres.mli		diff \| blob \| history
matita/components/disambiguation/disambiguate.ml		diff \| blob \| history
matita/components/disambiguation/disambiguate.mli		diff \| blob \| history
matita/components/grafite/grafiteAst.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.mli		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/grafiteParser.mli		diff \| blob \| history
matita/components/grafite_parser/test_parser.ml		diff \| blob \| history
matita/components/lexicon/cicNotation.ml		diff \| blob \| history
matita/components/lexicon/lexiconAst.ml		diff \| blob \| history
matita/components/lexicon/lexiconAstPp.ml		diff \| blob \| history
matita/components/lexicon/lexiconEngine.ml		diff \| blob \| history
matita/components/lexicon/lexiconMarshal.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.mli		diff \| blob \| history
matita/components/ng_cic_content/ncic2astMatcher.ml		diff \| blob \| history
matita/components/ng_cic_content/ncic2astMatcher.mli		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.mli		diff \| blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matita/components/ng_tactics/nCicElim.ml		diff \| blob \| history
matita/components/ng_tactics/nCicElim.mli		diff \| blob \| history
matita/components/ng_tactics/nDestructTac.ml		diff \| blob \| history
matita/components/ng_tactics/nInversion.ml		diff \| blob \| history
matita/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matita/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
matita/components/ng_tactics/nTactics.ml		diff \| blob \| history
matita/components/ng_tactics/nnAuto.ml		diff \| blob \| history
matita/components/ng_tactics/nnAuto.mli		diff \| blob \| history
matita/matita/matitaEngine.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