summaryrefslogtreecommitdiffstats
path: root/development/menhir/menhir.info
AgeCommit message (Expand)Author
2021-03-2720210327.1 global branch merge.current-20210327.1 Matteo Bernardini
2017-04-22development/menhir: Updated for version 20170101. Dimitris Zlatanidis
2016-11-05development/menhir: Updated for version 20160825. Dimitris Zlatanidis
2016-07-20development/menhir: Depend on ocamlbuild. David Spencer
2016-07-20development/menhir: Updated for version 20160526. Matteo Bernardini
2014-05-12development/menhir: Updated for version 20140422. Dimitris Zlatanidis
2014-02-21development/menhir: Added (OCaml parser generator). Dimitris Zlatanidis