--- a/lib/texinputs/isabelle.sty Mon Apr 03 14:00:39 2000 +0200
+++ b/lib/texinputs/isabelle.sty Mon Apr 03 14:02:40 2000 +0200
@@ -29,18 +29,16 @@
\newcommand{\isabeginblock}{\isakeyword{\{}}
\newcommand{\isaendblock}{\isakeyword{\}}}
-\newcommand{\isapar}[1]{%
-{\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
\newcommand{\isamarkupheader}[1]{\section{#1}}
-
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
\newcommand{\isamarkupsection}[1]{\section{#1}}
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
-\newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
-
\newcommand{\isamarkupsect}[1]{\section{#1}}
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
-\newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
+
+\newenvironment{isapar}{\parindent\@parindent\parskip\@parskip\par\medskip}{\par\smallskip}
+\newenvironment{isamarkuptext}{\normalsize\rm\begin{isapar}}{\end{isapar}}
+\newenvironment{isamarkuptxt}{\rm\begin{isapar}}{\end{isapar}}
\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}