\newif\ifisamarkup controls spacing of isabeginpar;
authorwenzelm
Sun Oct 21 19:42:53 2001 +0200 (2001-10-21)
changeset 1186387643169ae7d
parent 11862 03801fd2f8fc
child 11864 371ce685b0ec
\newif\ifisamarkup controls spacing of isabeginpar;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Oct 21 19:42:24 2001 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Oct 21 19:42:53 2001 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  \newdimen\isa@parindent\newdimen\isa@parskip
     1.5  
     1.6  \newenvironment{isabellebody}{%
     1.7 -\par%
     1.8 +\isamarkuptrue\par%
     1.9  \isa@parindent\parindent\parindent0pt%
    1.10  \isa@parskip\parskip\parskip0pt%
    1.11  \isastyle}{\par}
    1.12 @@ -95,7 +95,8 @@
    1.13  \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    1.14  \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    1.15  
    1.16 -\newcommand{\isabeginpar}{\par\medskip}
    1.17 +\newif\ifisamarkup
    1.18 +\newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
    1.19  \newcommand{\isaendpar}{\par\medskip}
    1.20  \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
    1.21  \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}