]> matita.cs.unibo.it Git - helm.git/commit
default of auto_disambiguation set to true
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 10:07:38 +0000 (10:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 10:07:38 +0000 (10:07 +0000)
commit7ca56e8a1f819df077d544b890c49ae59fdf3aa7
tree820294a6b6eb57eb360dd55b53e59003a3fcc55f
parent9379ff24a0a6750b0b967ae026d9b73b47aa0e83
default of auto_disambiguation set to true
helm/ocaml/grafite_parser/grafiteDisambiguator.ml