]> matita.cs.unibo.it Git - helm.git/commit
New debugging switch in the interface.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2012 09:20:27 +0000 (09:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2012 09:20:27 +0000 (09:20 +0000)
commitf799225a710e609a59e398eb8d6d45dad7c62f61
tree505f6017582476cfea51e10cf374062579dfe674
parentbc02962ed23518a09e7f4ed875d7d967a33de135
New debugging switch in the interface.
matita/components/ng_disambiguation/nCicDisambiguate.ml
matita/components/ng_disambiguation/nCicDisambiguate.mli
matita/matita/matita.ml