changeset 9681 | 8e0b5c9f3428 |
parent 9678 | 97bd508bcb63 |
child 9688 | d1415164b814 |
--- a/lib/texinputs/isabelle.sty Thu Aug 24 00:53:53 2000 +0200 +++ b/lib/texinputs/isabelle.sty Thu Aug 24 00:54:54 2000 +0200 @@ -17,10 +17,9 @@ \newdimen\isa@parindent\newdimen\isa@parskip \newenvironment{isabelle}{% -\trivlist\item% \isa@parindent\parindent\parindent0pt% \isa@parskip\parskip\parskip0pt% -\isastyle}{\endtrivlist} +\isastyle}{} \newcommand{\isa}[1]{\emph{\isastyleminor #1}}