-
Marc Coiffier authored
Improve the pretty-printing machinery with "variable name" nodes. Useful for LaTeX, where variable names can be typeset in interesting ways.
a362a4d0
Improve the pretty-printing machinery with "variable name" nodes. Useful for LaTeX, where variable names can be typeset in interesting ways.