Skip to content

Releases: Lelio-Brun/Obelisk

0.8.1

24 Mar 07:01

Choose a tag to compare

CHANGES:

  • support attributes in semantic actions to comply with Menhir v20231231 (#15)

0.8.0

08 Mar 09:12

Choose a tag to compare

Changes

  • add lower bound for Menhir version
  • update LaTeX backends
  • add a new LaTeX mode using simplebnf
  • remove suffix dependency in favor of xparse

Full Changelog: https://github.com/Lelio-Brun/Obelisk/compare/v0.7.0...v0.8.0##

v0.7.0

02 Jul 19:20

Choose a tag to compare

Changes

  • support for EBNF output (#14)
  • rewriting of the printers
  • switch to Github Actions for CI

Full Changelog: v0.6.0...v0.7.0

v0.6.0

10 Feb 06:55

Choose a tag to compare

CHANGES:

This version adds support for the Menhir standard rules endrule, midrule, rev, flatten and append.

v0.5.2

30 May 13:10

Choose a tag to compare

CHANGES:

This patch fixes a mismatch in version number.

v0.5.1

30 May 11:33

Choose a tag to compare

CHANGES:

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

27 Apr 23:26

Choose a tag to compare

CHANGES:

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

Version 0.4.0

01 Mar 19:12

Choose a tag to compare

This version fixes issue #8, corrects some parentheses related additional bugs and uses the new OPAM 2.0 format.

Patch 0.3.2

25 Apr 08:13

Choose a tag to compare

This patch is a minor fix to v0.3.1: tests in LaTeX mode are now conditionally guarded on the presence of pdflatex in the PATH.

Patch 0.3.1

23 Apr 09:07

Choose a tag to compare

This patch fixes #7: in LaTeX mode, if no prefix is specified throug -prefix option, end-beginning commands are automatically prefixed with zzz.