]> matita.cs.unibo.it Git - helm.git/commit
collapsed parens in a singol token
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:31:30 +0000 (12:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:31:30 +0000 (12:31 +0000)
commit14cf23213ea79b1157c224b2af2a256cff06e241
tree922aff2cde399e6f54ebf27a9b9a8850f3d78f09
parent16963bcfad9417a0511c74685e86ca76adf49f92
collapsed parens in a singol token
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml