Re: [isabelle] changing font in proof document

On Fri, 16 Jan 2015, Gergely Buday wrote:

Is there a canonical way to do this other than digging into isabelle.sty, root.tex and using XeLaTeX?

See also the thread "outputting colours in isabelle documents" from 06-Aug-2014 here

Colors and fonts are managed analogously in LaTeX.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.