]> matita.cs.unibo.it Git - helm.git/commit
new disambiguator almost attached
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 17:17:02 +0000 (17:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 17:17:02 +0000 (17:17 +0000)
commit430d6307ae5776ed000a78358a2881cb88936c37
treeb36f0473f9f4d8dc7bed00a14c425af30c74fdd4
parentaa941d8c9c451264a721364db1e412b877d4a08f
new disambiguator almost attached
helm/software/components/acic_content/termAcicContent.ml
helm/software/components/acic_content/termAcicContent.mli
helm/software/components/cic_disambiguation/disambiguateChoices.ml
helm/software/components/cic_disambiguation/disambiguateChoices.mli
helm/software/components/grafite_parser/grafiteDisambiguate.ml
helm/software/components/lexicon/lexiconEngine.ml
helm/software/components/ng_kernel/oCic2NCic.mli
helm/software/matita/matitaExcPp.ml