| changeset 10395 | 7ef380745743 |
| parent 10187 | 0376cccd9118 |
| child 10795 | 9e888d60d3e5 |
--- a/doc-src/TutorialI/CodeGen/document/CodeGen.tex Sat Nov 04 18:44:34 2000 +0100 +++ b/doc-src/TutorialI/CodeGen/document/CodeGen.tex Sat Nov 04 18:54:22 2000 +0100 @@ -2,7 +2,8 @@ \begin{isabellebody}% \def\isabellecontext{CodeGen}% % -\isamarkupsection{Case study: compiling expressions} +\isamarkupsection{Case study: compiling expressions% +} % \begin{isamarkuptext}% \label{sec:ExprCompiler}