lib/texinputs/isabelle.sty
changeset 61473 34d1913f0b20
parent 61463 8e46cea6a45a
child 61595 3591274c607e
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Oct 18 18:09:48 2015 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Oct 18 20:28:29 2015 +0200
     1.3 @@ -44,6 +44,7 @@
     1.4  \def\isactrlmedskip{\medskip}
     1.5  \def\isactrlbigskip{\bigskip}
     1.6  
     1.7 +\newcommand{\isaantiqcontrol}[1]{\isatt{{\char`\\}{\char`\<}{\char`\^}#1{\char`\>}}}
     1.8  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
     1.9  
    1.10  \newdimen\isa@parindent\newdimen\isa@parskip