]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 530ba8f) | patch
"in" and "and" are now keywords
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:38:04 +0000 (09:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:38:04 +0000 (09:38 +0000)
commitcd1ed24ba5d709ab9b7d31e501c6d85e3f7256e1
tree9a15ec9255888cc7fb5eaf2a8804c16be4bc329btree | snapshot
parent530ba8fae13eca642122731be5a7b36f0b809edbcommit | diff
"in" and "and" are now keywords
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.