]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9be7ec5) | patch
added "'" as a valid (continuation) identifier character
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 Feb 2004 09:04:35 +0000 (09:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 Feb 2004 09:04:35 +0000 (09:04 +0000)
commitb5036f4cab9d3942af90e63a877414522bc738ce
tree1c4e9e22af108427f7a01803a5fec7775310ccbetree | snapshot
parent9be7ec5bbacfafed8a3e37cfe0095f2aea1b9bf9commit | diff
added "'" as a valid (continuation) identifier character
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.