# HG changeset patch
# User haftmann
# Date 1285597652 -7200
# Node ID 0da00ec1fd31262b76f470deb6334391182ef9eb
# Parent  3aa2bc9c5478e8374b3ca8d0b2229fbeb9f86973
combine quote and typewriter tag; typewriter considers isa@parindent

diff -r 3aa2bc9c5478 -r 0da00ec1fd31 doc-src/Codegen/style.sty
--- a/doc-src/Codegen/style.sty	Mon Sep 27 16:27:31 2010 +0200
+++ b/doc-src/Codegen/style.sty	Mon Sep 27 16:27:32 2010 +0200
@@ -28,17 +28,20 @@
 \newcommand{\quotebreak}{\\[1.2ex]}
 
 %% typewriter text
-\isakeeptag{typewriter}
 \newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
 \renewcommand{\isadigit}[1]{{##1}}%
 \parindent0pt%
+\makeatletter\isa@parindent0pt\makeatother%
 \isabellestyle{tt}\isastyle%
 \fontsize{9pt}{9pt}\selectfont}{}
-\renewcommand{\isatagtypewriter}{\begin{typewriter}}
-\renewcommand{\endisatagtypewriter}{\end{typewriter}}
 
-\isakeeptag{tt}
-\renewcommand{\isatagtt}{\isabellestyle{tt}\isastyle}
+\isakeeptag{quotetypewriter}
+\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
+\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
+
+\isakeeptag{quotett}
+\renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}
+\renewcommand{\endisatagquotett}{\end{quote}}
 
 %% a trick
 \newcommand{\isasymSML}{SML}