Giters
Lelio-Brun
/
Obelisk
A simple multi-format pretty-printer for Menhir.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
53
Watchers:
7
Issues:
13
Forks:
3
Lelio-Brun/Obelisk Issues
Output EBNF for railroad diagram
Updated
2 years ago
Comments count
1
html output handling of < and > prevents copy and paste
Closed
4 years ago
Comments count
2
nonempty_list isn't recognized ?
Closed
4 years ago
Comments count
2
nonempty_list latex output is incomplete
Closed
4 years ago
Comments count
2
support the new syntax ?
Closed
4 years ago
Comments count
3
Display of pairs seems erroneous
Closed
5 years ago
Comments count
2
Productions starting with "end" generate wrong Latex
Closed
6 years ago
Comments count
4
[LaTeX] Use the generic macros at definitions rather than at call sites
Closed
7 years ago
[LaTeX] generate macros for non-terminals
Closed
7 years ago
[LaTeX] use longtabu instead of tabu
Closed
7 years ago
[LaTeX] Add an option to generate only the grammar
Closed
7 years ago
Comments count
10
[LaTeX] Incorrect or dubious printing
Closed
7 years ago
Comments count
2
Bars
Closed
7 years ago