Finer-grain customization of LaTeX output - #125

Open

Lelio-Brun wants to merge 3 commits into

ott-lang:masterfrom

Lelio-Brun:master

Commits on Jan 17, 2025

Add a LaTeX `\ottfirstprodnewline` command for the newline after a rule head.
Lelio-Brun
committed
564f710

Commits on Jan 20, 2025

Generates a special command for the last premise of a rule to allow avoiding the generation of an unwanted separator
Lelio-Brun
committed
dc3bce6

Commits on Jan 22, 2025

add a command for rules names
Lelio-Brun
committed
5e40781