# 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.