lib/texinputs/isabelle.sty
changeset 17215 8b969275a5d2
parent 17180 5fefe658a6f8
child 17531 0bc8ae586a7c
equal deleted inserted replaced
17214:af174eeafba1 17215:8b969275a5d2
   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