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}}