Release 1.12.0
c2963de
This commit was signed with the committer’s verified signature.
The key has expired.
matthijsgroen
Matthijs Groen
Changes
-
Deduplication of choices is improved. Now also works for text output, and can
deduplicate items when one of them has a comment.a | a | a (* comment *) | b => a (* comment *) | b -
Improve height of overview diagrams
-
Update color scheme of dark theme
-
Improved styling of blockquotes in markdown
>
Fixes
- Exception when non-terminal lacks definition