Re: [isabelle] outputting colours in isabelle documents



On Tue, 5 Aug 2014, Alexander Kurz wrote:

Is there an elegant way of outputting different colours? Eg Isabelle code in black and the latex text in between in blue?

Isabelle document preparation is a fine art, and many more tricks have accumulated over the years. Ultimately the generated tex source determines the meaning within the typesetting system. I recommend to study the generated .tex sources from the .thy and the isabelle sty files -- it all accumulates in the document_output directory.

A simple way to change the style for 'text' blocks is this:

  \usepackage{color}
  \renewenvironment{isamarkuptext}{\par\isastyletext\color{red}\begin{isapar}}{\end{isapar}}

You can also use semi-formal "tags" of document elements. Some commands already have an implicit tag, e.g. theory begin/end and proof commands. Their style can be changed like this:

  \renewcommand{\isatagtheory}{\begingroup\color{blue}}
  \renewcommand{\endisatagtheory}{\endgroup}

  \renewcommand{\isatagproof}{\begingroup\color{green}}
  \renewcommand{\endisatagproof}{\endgroup}

The notation %mytag after some command changes the default tag on the spot and inserts isatag macros accordingly, which can then be defined in latex.


	Makarius




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