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 https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-August/msg00058.html

Colors and fonts are managed analogously in LaTeX.


	Makarius




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