--- a/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Nov 13 15:01:59 2006 +0100
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Mon Nov 13 15:42:57 2006 +0100
@@ -48,13 +48,17 @@
\newcommand{\isasymPRIMREC}{\cmd{primrec}}
\newcommand{\isasymRECDEF}{\cmd{recdef}}
+\isakeeptag{tt}
+\renewcommand{\isatagtt}{\isabellestyle{tt}\isastyle}
+\renewcommand{\endisatagtt}{\isabellestyle{it}\isastyle}
+
\newcommand{\qt}[1]{``#1''}
\newcommand{\qtt}[1]{"{}{#1}"{}}
\newcommand{\qn}[1]{\emph{#1}}
\newcommand{\strong}[1]{{\bfseries #1}}
\newcommand{\fixme}[1][!]{\strong{FIXME: #1}}
-\lstset{basicstyle=\scriptsize\ttfamily, keywordstyle=\itshape, commentstyle=\itshape\sffamily, frame=shadowbox}
+\lstset{basicstyle=\scriptsize\ttfamily,keywordstyle=\itshape,commentstyle=\itshape\sffamily,frame=single}
\newcommand{\lstsml}[1]{\lstset{language=ML}\lstinputlisting{#1}}
\newcommand{\lsthaskell}[1]{\lstset{language=Haskell}\lstinputlisting{#1}}