# HG changeset patch
# User paulson
# Date 967198629 -7200
# Node ID d1415164b8143ce648ad833318e8b509e3586dbb
# Parent  772ac061bd762a4956f612b0ebf14b0c121d0112
added \trivlist...\endtrivlist to the "isabelle" environment
in order to correct several problems (e.g. need for newlines and %)

diff -r 772ac061bd76 -r d1415164b814 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Aug 25 12:15:35 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Aug 25 12:17:09 2000 +0200
@@ -17,9 +17,9 @@
 \newdimen\isa@parindent\newdimen\isa@parskip
 
 \newenvironment{isabelle}{%
-\isa@parindent\parindent\parindent0pt%
+\trivlist\isa@parindent\parindent\parindent0pt%
 \isa@parskip\parskip\parskip0pt%
-\isastyle}{}
+\isastyle\item\relax}{\endtrivlist}
 
 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}