diff -r 93d5408eb7d9 -r fbd097aec213 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Sun Oct 21 19:48:19 2001 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Sun Oct 21 19:49:29 2001 +0200
@@ -29,7 +29,7 @@
 \newdimen\isa@parindent\newdimen\isa@parskip
 
 \newenvironment{isabellebody}{%
-\par%
+\isamarkuptrue\par%
 \isa@parindent\parindent\parindent0pt%
 \isa@parskip\parskip\parskip0pt%
 \isastyle}{\par}
@@ -95,7 +95,8 @@
 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
 
-\newcommand{\isabeginpar}{\par\medskip}
+\newif\ifisamarkup
+\newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
 \newcommand{\isaendpar}{\par\medskip}
 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}