issues
search
tov
/
latex-ottalt
LaTeX package for improved formatting of rules and grammars generated by the Ott tool
http://www.ccs.neu.edu/home/tov/code/latex/
6
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ottalt puts premises each on their own line, even with ImplicitPremiceBreaks
#1
JoeyEremondi
opened
6 years ago
6