1.1 --- a/lib/texinputs/isabelle.sty	Fri Mar 17 22:52:29 2000 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Mar 17 22:53:19 2000 +0100
     1.3 @@ -11,8 +11,8 @@
     1.4  \newcommand{\isabellestyle}{}
     1.5  \newenvironment{isabelle}{%
     1.6  \newdimen\@parindent\@parindent\parindent\parindent0pt%
     1.7 -\newdimen\@parskip\@parskip\parskip\parskip0.5ex%
     1.8 -\small\tt\slshape\isabellestyle\mbox{}}{}
     1.9 +\newdimen\@parskip\@parskip\parskip\parskip0pt%
    1.10 +\small\tt\slshape\isabellestyle}{}
    1.11  \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    1.12  
    1.13  \chardef\isabraceleft=`\{