1.1 --- a/lib/texinputs/isabelle.sty	Thu Mar 16 00:32:55 2000 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Mar 16 00:33:46 2000 +0100
     1.3 @@ -10,8 +10,8 @@
     1.4  
     1.5  \newcommand{\isabellestyle}{}
     1.6  \newenvironment{isabelle}{%
     1.7 -\newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%
     1.8 -\newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%
     1.9 +\newdimen\@parindent\@parindent\parindent\parindent0pt%
    1.10 +\newdimen\@parskip\@parskip\parskip\parskip0.5ex%
    1.11  \small\tt\slshape\isabellestyle\mbox{}}{}
    1.12  \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    1.13  
    1.14 @@ -30,7 +30,7 @@
    1.15  \newcommand{\isaendblock}{\isakeyword{\}}}
    1.16  
    1.17  \newcommand{\isapar}[1]{%
    1.18 -{\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}
    1.19 +{\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
    1.20  \newcommand{\isamarkupheader}[1]{#1}
    1.21  
    1.22  \newcommand{\isamarkupchapter}[1]{\chapter{#1}}