# HG changeset patch
# User wenzelm
# Date 1444672043 -7200
# Node ID f569907de06170e56225c69d08accfa108be6b04
# Parent  9d68db31196c32ab279b6e69c83a8946fb12bd3b
unused;

diff -r 9d68db31196c -r f569907de061 src/Doc/Datatypes/document/style.sty
--- a/src/Doc/Datatypes/document/style.sty	Mon Oct 12 19:41:10 2015 +0200
+++ b/src/Doc/Datatypes/document/style.sty	Mon Oct 12 19:47:23 2015 +0200
@@ -27,18 +27,6 @@
 \renewcommand{\endisatagquote}{\end{quote}}
 \newcommand{\quotebreak}{\\[1.2ex]}
 
-%% typewriter text
-\newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
-\renewcommand{\isadigit}[1]{{##1}}%
-\parindent0pt%
-\makeatletter\isa@parindent0pt\makeatother%
-\isabellestyle{tt}\isastyle%
-\fontsize{9pt}{9pt}\selectfont}{}
-
-\isakeeptag{quotetypewriter}
-\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
-\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
-
 %% presentation
 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}