added \isabeginpar, \isaendpar;
authorwenzelm
Mon Dec 04 23:21:35 2000 +0100 (2000-12-04)
changeset 10586b3f386ec0fd2
parent 10585 58a1ed1edb65
child 10587 0db92bf1923e
added \isabeginpar, \isaendpar;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Mon Dec 04 23:21:09 2000 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Mon Dec 04 23:21:35 2000 +0100
     1.3 @@ -94,7 +94,9 @@
     1.4  \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
     1.5  \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
     1.6  
     1.7 -\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\medskip}
     1.8 +\newcommand{\isabeginpar}{\par\medskip}
     1.9 +\newcommand{\isaendpar}{\par\medskip}
    1.10 +\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
    1.11  \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
    1.12  \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
    1.13  \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}