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