| changeset 9698 | f0740137a65d |
| parent 9673 | 1b2d4f995b13 |
| child 9717 | 699de91b15e2 |
--- a/doc-src/TutorialI/isabelle.sty Mon Aug 28 14:09:33 2000 +0200 +++ b/doc-src/TutorialI/isabelle.sty Mon Aug 28 15:13:55 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}}