1.1 --- a/lib/texinputs/isabelle.sty Thu Sep 01 00:45:24 2005 +0200
1.2 +++ b/lib/texinputs/isabelle.sty Thu Sep 01 00:46:14 2005 +0200
1.3 @@ -114,8 +114,8 @@
1.4 \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
1.5 \newcommand{\isaendpar}{\par\medskip}
1.6 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
1.7 -\newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
1.8 -\newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
1.9 +\newenvironment{isamarkuptext}{\par\isastyletext\begin{isapar}}{\end{isapar}}
1.10 +\newenvironment{isamarkuptxt}{\par\isastyletxt\begin{isapar}}{\end{isapar}}
1.11 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
1.12
1.13