]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: a symbol must be formed of just one (unicode) character.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jun 2005 16:09:08 +0000 (16:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jun 2005 16:09:08 +0000 (16:09 +0000)
commitce0467a0ad80e0b1558c9846d582d7f1c1df5a86
tree182f0d568babc04d4ddb0b0ec1e3c263cb6337b8
parent72e4059f7141d5cdf573e470e9858a0e68d6fceb
Bug fixed: a symbol must be formed of just one (unicode) character.
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml