# HG changeset patch
# User haftmann
# Date 1284967157 -7200
# Node ID 90a74f43174d5d11beeb745a4e2ea59779094aa4
# Parent  5aced2f43837a3850f51823da90cd26763573c54
updated file duplicate

diff -r 5aced2f43837 -r 90a74f43174d doc-src/isabelle.sty
--- a/doc-src/isabelle.sty	Mon Sep 20 09:19:13 2010 +0200
+++ b/doc-src/isabelle.sty	Mon Sep 20 09:19:17 2010 +0200
@@ -1,5 +1,3 @@
-%%
-%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
@@ -48,6 +46,8 @@
 {\begin{trivlist}\begin{isabellebody}\item\relax}
 {\end{isabellebody}\end{trivlist}}
 
+\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
+
 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
 
 \newcommand{\isaindent}[1]{\hphantom{#1}}