]> matita.cs.unibo.it Git - helm.git/commit
'-' no more allowed in identifiers
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:28:49 +0000 (10:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Apr 2002 10:28:49 +0000 (10:28 +0000)
commit6102d4a9cec5ed97e292d06679826c5ebc0b92bb
treef4d93f8c6fb4687c4810c2fc144dc9923261fe8f
parentb5f6ad3ab6163a257f6491ef6ff922ff8c1239a7
'-' no more allowed in identifiers
helm/ocaml/cic_textual_parser/cicTextualLexer.mll