doc-src/ZF/isabelle.sty
changeset 17214 af174eeafba1
parent 17181 5f42dd5e6570
child 17536 1b7c2f7df2e6
equal deleted inserted replaced
17213:ba65f3e5653c 17214:af174eeafba1
   112 
   112 
   113 \newif\ifisamarkup
   113 \newif\ifisamarkup
   114 \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
   114 \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}
   115 \newcommand{\isaendpar}{\par\medskip}
   115 \newcommand{\isaendpar}{\par\medskip}
   116 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
   116 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
   117 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
   117 \newenvironment{isamarkuptext}{\par\isastyletext\begin{isapar}}{\end{isapar}}
   118 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
   118 \newenvironment{isamarkuptxt}{\par\isastyletxt\begin{isapar}}{\end{isapar}}
   119 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
   119 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
   120 
   120 
   121 
   121 
   122 % alternative styles
   122 % alternative styles
   123 
   123