--- a/doc-src/TutorialI/CodeGen/document/CodeGen.tex Mon Sep 11 17:59:53 2000 +0200
+++ b/doc-src/TutorialI/CodeGen/document/CodeGen.tex Mon Sep 11 18:00:47 2000 +0200
@@ -1,5 +1,6 @@
%
\begin{isabellebody}%
+\def\isabellecontext{CodeGen}%
%
\isamarkupsection{Case study: compiling expressions}
%