# HG changeset patch
# User wenzelm
# Date 954763360 -7200
# Node ID f9679ddbc492a917287b138152a7208989972d46
# Parent  5427f450e9dae5641dd65d21015150ecae09b00a
isapar, isamarkuptext, isamarkuptxt turned into environments;

diff -r 5427f450e9da -r f9679ddbc492 lib/texinputs/isabelle.sty
--- 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}}