# HG changeset patch
# User wenzelm
# Date 970528511 -7200
# Node ID 8e9a8ede2f112b4b82a29c47a802b71b4da78993
# Parent  546686f0a6fbab99999946174a1c34e78db3fcbe
updated;

diff -r 546686f0a6fb -r 8e9a8ede2f11 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Tue Oct 03 01:14:52 2000 +0200
+++ b/doc-src/AxClass/generated/isabelle.sty	Tue Oct 03 01:15:11 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}}
diff -r 546686f0a6fb -r 8e9a8ede2f11 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Tue Oct 03 01:14:52 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Tue Oct 03 01:15:11 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}}