| changeset 67374 | 5a049cf98438 |
| parent 67151 | d1ace598c026 |
| child 67413 | 2555713586c8 |
--- a/lib/texinputs/isabelle.sty Mon Jan 08 14:26:45 2018 +0100 +++ b/lib/texinputs/isabelle.sty Mon Jan 08 14:28:41 2018 +0100 @@ -39,7 +39,6 @@ \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup} \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} -\newcommand{\isaantiqcontrol}[1]{\isatt{{\char`\\}{\char`\<}{\char`\^}#1{\char`\>}}} \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} \newdimen\isa@parindent\newdimen\isa@parskip