summaryrefslogtreecommitdiff
path: root/development/menhir
Commit message (Collapse)AuthorAge
* development/menhir: Updated for version 20140422.Dimitris Zlatanidis2014-05-12
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* development/menhir: Added (OCaml parser generator).Dimitris Zlatanidis2014-02-21
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>