package obelisk
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=fd0aee7700cadd6b9595716a3899a90324504273a5f60fd465866da93a3976a2
sha512=90c0bb6e6f98dad821c1cf545c4bfaa21187a0dbb62247c3dd18d5bea79006274e3b3e482db70c0e584bc34e26cf1ac7bb1cf80a016c167892f3bcc9c1875c4b
doc/CHANGES.html
v0.8.1 - 2025-03-24
- support attributes in semantic actions to comply with Menhir v20231231 (#15)
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.