1.1 --- a/lib/texinputs/isabelle.sty Sun Oct 21 19:42:24 2001 +0200
1.2 +++ b/lib/texinputs/isabelle.sty Sun Oct 21 19:42:53 2001 +0200
1.3 @@ -29,7 +29,7 @@
1.4 \newdimen\isa@parindent\newdimen\isa@parskip
1.5
1.6 \newenvironment{isabellebody}{%
1.7 -\par%
1.8 +\isamarkuptrue\par%
1.9 \isa@parindent\parindent\parindent0pt%
1.10 \isa@parskip\parskip\parskip0pt%
1.11 \isastyle}{\par}
1.12 @@ -95,7 +95,8 @@
1.13 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
1.14 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
1.15
1.16 -\newcommand{\isabeginpar}{\par\medskip}
1.17 +\newif\ifisamarkup
1.18 +\newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
1.19 \newcommand{\isaendpar}{\par\medskip}
1.20 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
1.21 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}