]> matita.cs.unibo.it Git - helm.git/commit
Yet another error in the id regexp: numbers are allowed in identifiers, as well
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 23:46:42 +0000 (23:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 23:46:42 +0000 (23:46 +0000)
commit871118b96281306d82ac156491179f3c220aad79
treeadeee28a5a13a5cca2b1ea2fbf8bd5c149e9a5b9
parent6070c7830a1980abdf87ed5cac607dce170f86f3
Yet another error in the id regexp: numbers are allowed in identifiers, as well
as 's.
helm/metadata/extractor/meta_lex_ind.l