# HG changeset patch
# User wenzelm
# Date 953163226 -3600
# Node ID bb41d88f7df547071185e56f74621a3022122d11
# Parent  58e37d59c146e1a08ead77207d5e72a3a7cd21b2
tuned;

diff -r 58e37d59c146 -r bb41d88f7df5 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Thu Mar 16 00:32:55 2000 +0100
+++ b/lib/texinputs/isabelle.sty	Thu Mar 16 00:33:46 2000 +0100
@@ -10,8 +10,8 @@
 
 \newcommand{\isabellestyle}{}
 \newenvironment{isabelle}{%
-\newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%
-\newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%
+\newdimen\@parindent\@parindent\parindent\parindent0pt%
+\newdimen\@parskip\@parskip\parskip\parskip0.5ex%
 \small\tt\slshape\isabellestyle\mbox{}}{}
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
 
@@ -30,7 +30,7 @@
 \newcommand{\isaendblock}{\isakeyword{\}}}
 
 \newcommand{\isapar}[1]{%
-{\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}
+{\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
 \newcommand{\isamarkupheader}[1]{#1}
 
 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}