changeset 9678 | 97bd508bcb63 |
parent 9669 | 542fb6c6c9b2 |
child 9681 | 8e0b5c9f3428 |
--- 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}}