# HG changeset patch
# User wenzelm
# Date 970309677 -7200
# Node ID 68d6c5b336c19d05e560839e1d1debda78fbc529
# Parent  8e58b3045e29e12448548da8c6cc8cf4ad90aad5
isapar: \medskip;

diff -r 8e58b3045e29 -r 68d6c5b336c1 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Sep 29 18:02:24 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Sat Sep 30 12:27:57 2000 +0200
@@ -85,7 +85,7 @@
 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
 
-\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\smallskip}
+\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\medskip}
 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}