- add lower bound for Menhir version
- support for EBNF output (#14)
- rewriting of the printers
- switch to Github Actions for CI
This version adds support for the Menhir standard rules endrule
, midrule
, rev
, flatten
and append
.
This patch fixes a mismatch in version number.
This patch fixes #10 (noempty_list
was not recognized) and #12, thanks to the contribution of @zapashcanon (add a switch to disable the use of CSS content properties in HTML mode, to make e.g., content copy-pastable).
This version implements several important changes:
- drop
ocamlbuild
in favor ofdune
- drop API-doc style documentation (irrelevant)
- fix break hints after epsilons
- use
\lit
command for literals insyntax
mode - change the name of the grammar environment to
obeliskgrammar
in LaTeX modes - use
re
library instead ofstr
- add support for token aliases, with a dedicated option
-noaliases
- add support for the new syntax of Menhir rules (fixes issue #9)
- fix some lexing and parsing bugs (in particular with Ocaml code and strings in prologue and semantic actions) thanks to the added test benches of Menhir
This version fixes issue #8, corrects some parentheses related additional bugs and uses the new OPAM 2.0 format.
This patch is a minor fix to 0.3.1: tests in LaTeX mode are now conditionally guarded on the presence of `pdflatex`` in the PATH.
This patch fixes #7: in LaTeX mode, if no prefix is specified throug -prefix
option, end
-beginning commands are automatically prefixed with zzz
.
This release fixes #4, #5 and #6. See #2 (comments).
- in LaTeX modes, macros are now generated for terminals, non-terminals and functionals ;
- those macros are now defined using the generated generic macros for each class of syntactic construction ;
longtabu
replacestabu
in tabular mode.
Also functionals are now surrounded by <
and >
in all output formats.
This release fixes #2:
- the option
-package
in LaTeX mode allows the user to specify an additional output file (.sty) to gather the created macros ; - all created macros in LaTeX mode can be prefixed with a prefix specified with the option
-prefix
.
Remove remaining unneeded Roman parts.
First release.