lib/texinputs/isabelle.sty
changeset 61437 8bb17fd2fa81
parent 61405 d2ce32c5793a
child 61461 77c9643a6353
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Oct 14 14:15:13 2015 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Oct 14 14:21:00 2015 +0200
     1.3 @@ -39,11 +39,13 @@
     1.4  \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
     1.5  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     1.6  
     1.7 +\def\isactrlnoindent{\noindent}
     1.8  \def\isactrlsmallskip{\smallskip}
     1.9  \def\isactrlmedskip{\medskip}
    1.10  \def\isactrlbigskip{\bigskip}
    1.11  \def\isactrlitem{\item}
    1.12  \def\isactrlenum{\item}
    1.13 +\def\isactrldescr{\item}
    1.14  
    1.15  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
    1.16