# HG changeset patch
# User wenzelm
# Date 1125528374 -7200
# Node ID 8b969275a5d29abfaaeb6b92863ff0f6aff46fba
# Parent  af174eeafba198339150d11c35e8087c0a49db03
isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;

diff -r af174eeafba1 -r 8b969275a5d2 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Thu Sep 01 00:45:24 2005 +0200
+++ b/lib/texinputs/isabelle.sty	Thu Sep 01 00:46:14 2005 +0200
@@ -114,8 +114,8 @@
 \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
 \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}}
+\newenvironment{isamarkuptext}{\par\isastyletext\begin{isapar}}{\end{isapar}}
+\newenvironment{isamarkuptxt}{\par\isastyletxt\begin{isapar}}{\end{isapar}}
 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}