]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72e4059) | patch
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
tree182f0d568babc04d4ddb0b0ec1e3c263cb6337b8tree | snapshot
parent72e4059f7141d5cdf573e470e9858a0e68d6fcebcommit | diff
Bug fixed: a symbol must be formed of just one (unicode) character.
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.