]> matita.cs.unibo.it Git - helm.git/commit
- bugfix: sequences like ".(" are now lexed, correctly, as
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 09:53:51 +0000 (09:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 09:53:51 +0000 (09:53 +0000)
commitc5cd7e02a5f443fdbd1151cd861e4723b91c8bce
treeabd4f06e0e8892765e08fc0477694fc5a9b485cf
parent3aa4007aeb10078c7e170d8fdc681912835d2ddb
- bugfix: sequences like ".(" are now lexed, correctly, as
  [ SYMBOL "."; PAREN "("] instead of [ SYMBOL ".(" ]
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml