# HG changeset patch
# User haftmann
# Date 1163428977 -3600
# Node ID 26f64e7a67b572953dc1982b427c987f06119629
# Parent  9022a90f6fdd02a11b5510269b2a5f0031c66447
added tt tag

diff -r 9022a90f6fdd -r 26f64e7a67b5 doc-src/IsarAdvanced/Codegen/codegen.tex
--- 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}}