]> matita.cs.unibo.it Git - helm.git/commit
Improved debugging code.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 13:34:42 +0000 (13:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 13:34:42 +0000 (13:34 +0000)
commita806d6607af696065af3c9b0e3373de2846bf174
tree3d506f5aeb765f7931e0248b83adc2c3638e946c
parent25592452b14808ddddcb5bf16b91c8c184be249f
Improved debugging code.
helm/software/components/disambiguation/multiPassDisambiguator.ml
helm/software/components/disambiguation/multiPassDisambiguator.mli
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/matita/matita.ml