]> matita.cs.unibo.it Git - helm.git/commit
Added debug menu item to restrict disambiguation to the first pass only.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 May 2006 12:05:58 +0000 (12:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 May 2006 12:05:58 +0000 (12:05 +0000)
commit5bc000d9a2e8e41db58d610f3221270add686888
treeac7fb5fb13b5f05186f9d2f606ceb4b37d154879
parent9c9e979d4c45cf3b1ee01688b2c36fe49190ce98
Added debug menu item to restrict disambiguation to the first pass only.
helm/software/components/grafite_parser/grafiteDisambiguator.ml
helm/software/components/grafite_parser/grafiteDisambiguator.mli
helm/software/matita/matita.ml