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!

-- 
Holger




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