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

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

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 8 Mar 2011 13:26:37 +0000 (13:26 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 8 Mar 2011 13:26:37 +0000 (13:26 +0000)
commit	a2412e41cda18a25d780ae631ee02d6ae05c52b1
tree	77df2e9341d75e534ff566d801d6c07c28c3a102	tree \| snapshot
parent	fb9f80d2fb30216cc0754e8e8d09206f3e3e7bb7	commit \| diff

First commit with new (incomplete) disambiguation engine.

34 files changed:

matitaB/components/METAS/meta.helm-disambiguation.src		diff \| blob \| history
matitaB/components/content/notationEnv.ml		diff \| blob \| history
matitaB/components/content/notationPp.ml		diff \| blob \| history
matitaB/components/content/notationPt.ml		diff \| blob \| history
matitaB/components/content/notationUtil.ml		diff \| blob \| history
matitaB/components/content_pres/cicNotationParser.ml		diff \| blob \| history
matitaB/components/content_pres/cicNotationPres.ml		diff \| blob \| history
matitaB/components/content_pres/content2presMatcher.ml		diff \| blob \| history
matitaB/components/content_pres/termContentPres.ml		diff \| blob \| history
matitaB/components/disambiguation/disambiguate.ml		diff \| blob \| history
matitaB/components/disambiguation/disambiguate.mli		diff \| blob \| history
matitaB/components/disambiguation/disambiguateTypes.ml		diff \| blob \| history
matitaB/components/disambiguation/disambiguateTypes.mli		diff \| blob \| history
matitaB/components/disambiguation/multiPassDisambiguator.ml		diff \| blob \| history
matitaB/components/disambiguation/multiPassDisambiguator.mli		diff \| blob \| history
matitaB/components/grafite/grafiteAst.ml		diff \| blob \| history
matitaB/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matitaB/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matitaB/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matitaB/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matitaB/components/ng_cic_content/interpretations.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_tactics/nCicElim.ml		diff \| blob \| history
matitaB/components/ng_tactics/nDestructTac.ml		diff \| blob \| history
matitaB/components/ng_tactics/nInversion.ml		diff \| blob \| history
matitaB/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matitaB/components/ng_tactics/nTactics.ml		diff \| blob \| history
matitaB/components/ng_tactics/nnAuto.ml		diff \| blob \| history
matitaB/matita/lib/basics/pts.ma		diff \| blob \| history
matitaB/matita/matitaGui.ml		diff \| blob \| history
matitaB/matita/matitaScript.ml		diff \| blob \| history

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

RSS Atom