]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f59fa8a) | patch
Disabled some chars as variable names in the parser
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 21:12:44 +0000 (23:12 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:26:21 +0000 (10:26 +0200)
commit65e597bdbc2ba91e8199642dc56fd2a2b1fc127a
tree911cfa9809361344df9dcf073f7d204389b3be87tree | snapshot
parentf59fa8ab2b6eda5298701bf476da326b795cc17bcommit | diff
Disabled some chars as variable names in the parser

(cherry picked from commit bfd8f8a98a7392ac8cbd9070a8e4ff4d06e09510)
ocaml/parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.