]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3aa4007) | patch
- 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
treeabd4f06e0e8892765e08fc0477694fc5a9b485cftree | snapshot
parent3aa4007aeb10078c7e170d8fdc681912835d2ddbcommit | diff
- bugfix: sequences like ".(" are now lexed, correctly, as
  [ SYMBOL "."; PAREN "("] instead of [ SYMBOL ".(" ]
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.