changeset 9694 | 13f3aaf12be2 |
parent 9672 | 2c208c98f541 |
child 9767 | dc2ee9b2e065 |
--- a/doc-src/AxClass/generated/isabelle.sty Mon Aug 28 13:48:47 2000 +0200 +++ b/doc-src/AxClass/generated/isabelle.sty Mon Aug 28 13:50:24 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}}