# HG changeset patch # User wenzelm # Date 974925506 -3600 # Node ID d243553849ecd3f6c6b5f2983dce9dfbf09b1b16 # Parent ff24ac6678dd8bcb78ad9b8978c3f519f898d21b *** empty log message *** diff -r ff24ac6678dd -r d243553849ec doc-src/AxClass/generated/isabelle.sty --- 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}