| changeset 10510 | d243553849ec |
| parent 10424 | 17491b8c7732 |
| child 10588 | 3a1755b37757 |
--- a/doc-src/AxClass/generated/isabelle.sty Wed Nov 22 13:16:55 2000 +0100 +++ b/doc-src/AxClass/generated/isabelle.sty Wed Nov 22 21:38:26 2000 +0100 @@ -29,9 +29,10 @@ \newdimen\isa@parindent\newdimen\isa@parskip \newenvironment{isabellebody}{% +\par% \isa@parindent\parindent\parindent0pt% \isa@parskip\parskip\parskip0pt% -\isastyle}{} +\isastyle}{\par} \newenvironment{isabelle} {\begin{trivlist}\begin{isabellebody}\item\relax}