diff -r 58a1ed1edb65 -r b3f386ec0fd2 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Dec 04 23:21:09 2000 +0100
+++ b/lib/texinputs/isabelle.sty	Mon Dec 04 23:21:35 2000 +0100
@@ -94,7 +94,9 @@
 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
 
-\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\medskip}
+\newcommand{\isabeginpar}{\par\medskip}
+\newcommand{\isaendpar}{\par\medskip}
+\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}