projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7019c0) | patch
Cherry pick use of menhir features from branch feature/menhir.
authorKim Nguyễn <kn@lri.fr>
Mon, 17 Mar 2014 13:08:57 +0000 (14:08 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 17 Mar 2014 13:08:57 +0000 (14:08 +0100)
commit456aa2cae4ba3afc4fe364880e52f66490700650
tree8932c6e40ad1599219ef68513395a31513763282tree | snapshot
parentd7019c01a47613e258fccb127e6085cb91d26546commit | diff
Cherry pick use of menhir features from branch feature/menhir.
Work around a bug in menhir that generates code with the 'lexer' identifier which in turn makes ulex syntax extension choke.
Remakefile.in diff | blob | history
src/xpath/xpath_internal_parser.mly diff | blob | history
Tree Automata TOOlkit