]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8bf3ab) | patch
- now unicode characters are counted :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:13:50 +0000 (18:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:13:50 +0000 (18:13 +0000)
commit0ae40e5497e2ed1e231594d68d862acc4a79fe03
tree9054e899ab0d16c764c325e8ea138fb5615619cctree | snapshot
parentf8bf3abd773864388fef5efe599ac77f292a6b9dcommit | diff
- now unicode characters are counted :)
- now identifiers are counted as single characters
matita/components/binaries/mac/lexer.mll diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.