Re: [isabelle] Print Heading *before* theory (nice to have)

Hi Andreas,

On 10-16, Andreas Lochbihler wrote:
> if you want to have more control over theory headers, you should
> redinfe isamarkupheader in root.tex in the document directory. For
> example:
> \renewcommand{\isamarkupheader}[1]{#1}
> Then, you can use the usual LaTeX commands in header directly, e.g.:
> header {* \section{Fibonacci} *}
> or
> header {* \subsection{Auxiliary stuff} *}

Thanks, I hadn't realized root.tex was the proper location.
It now works!


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