package obelisk

  1. Overview
  2. Docs
Pretty-printing for Menhir files

Install

Dune Dependency

Authors

Maintainers

Sources

v0.6.0.tar.gz
md5=1494ac4b54ad165d2ddea26a0f54d2dc
sha512=a911070bb474e75c9332dac208c9916ef6be2f46148cafec9ce9c920f07e782d26796cb2f77ecb7f62247c6f56a53bc34aaf66d37ce5ab6d148e1459dd61a8e0

CHANGES.md.html

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 of dune

  • drop API-doc style documentation (irrelevant)

  • fix break hints after epsilons

  • use \lit command for literals in syntax mode

  • change the name of the grammar environment to obeliskgrammar in LaTeX modes

  • use re library instead of str

  • 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).

  1. in LaTeX modes, macros are now generated for terminals, non-terminals and functionals ;

  2. those macros are now defined using the generated generic macros for each class of syntactic construction ;

  3. longtabu replaces tabu in tabular mode.

Also functionals are now surrounded by < and > in all output formats.

v0.2.0 - 2017-07-21

This release fixes #2:

  1. the option -package in LaTeX mode allows the user to specify an additional output file (.sty) to gather the created macros ;

  2. 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.