isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
authorwenzelm
Thu Sep 01 00:46:14 2005 +0200 (2005-09-01)
changeset 172158b969275a5d2
parent 17214 af174eeafba1
child 17216 df66d8feec63
isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
lib/texinputs/isabelle.sty
     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