package obelisk
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=89e86dd6484679765deed8028932c2826aa106a794b7ee64cb38c8fc89491aa8
sha512=59e03ea49715a8cc0ecf5db0686dfc316270ff56dc515b46a13e440fd5d44fe103c121ce73d181d83588d8e305b536cee965a1055359185aa8e3dffccb131c76
doc/CHANGES.html
v0.8.0 - 2025-03-08
- add lower bound for Menhir version
- update LaTeX backends
- add a new LaTeX mode using
simplebnf
- remove
suffix
dependency in favor ofxparse
v0.7.0 - 2024-07-03
- support for EBNF output (#14)
- rewriting of the printers
- switch to Github Actions for CI
v0.6.0 - 2021-02-09
This version adds support for the Menhir standard rules endrule
, midrule
, rev
, flatten
and append
.
v0.5.2 - 2020-05-30
This patch fixes a mismatch in version number.
v0.5.1 - 2020-05-30
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).
v0.5.0 - 2020-04-28
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
v0.4.0 - 2019-03-01
This version fixes issue #8, corrects some parentheses related additional bugs and uses the new OPAM 2.0 format.
v0.3.2 - 2018-04-25
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.
v0.3.1 - 2018-04-23
This patch fixes #7: in LaTeX mode, if no prefix is specified throug -prefix
option, end
-beginning commands are automatically prefixed with zzz
.
v0.3.0 - 2017-08-17
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.
v0.2.0 - 2017-07-21
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
.
v0.1.1 - 2017-07-06
Remove remaining unneeded Roman parts.
v0.1.0 - 2017-07-06
First release.