# HG changeset patch # User wenzelm # Date 967037086 -7200 # Node ID 97bd508bcb637753e57b9aff3adb4e4c9e8d70a1 # Parent 7808a1ed6daad00627456e19cd290839c944d812 isabelle env: trivlist; diff -r 7808a1ed6daa -r 97bd508bcb63 lib/texinputs/isabelle.sty --- a/lib/texinputs/isabelle.sty Tue Aug 22 11:24:44 2000 +0200 +++ b/lib/texinputs/isabelle.sty Wed Aug 23 15:24:46 2000 +0200 @@ -17,9 +17,10 @@ \newdimen\isa@parindent\newdimen\isa@parskip \newenvironment{isabelle}{% +\trivlist\item% \isa@parindent\parindent\parindent0pt% \isa@parskip\parskip\parskip0pt% -\isastyle}{} +\isastyle}{\endtrivlist} \newcommand{\isa}[1]{\emph{\isastyleminor #1}}