package obelisk
Install
Dune Dependency
Authors
Maintainers
Sources
md5=2d8c652917133470e8127d34b8ce612c
sha512=d4516c8e3d067c7da8ec096d1af9af88af6c03ed9bc68848124476abc033beb34877d827fcd72940db9d25ae1d7a178ede6691e9dee2883181430be6642f3ea7
CHANGES.md.html
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
modechange the name of the grammar environment to
obeliskgrammar
in LaTeX modesuse
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.