changeset 53167 | 4e7ddd76e632 |
parent 53021 | d0fa3f446b9d |
child 55033 | 8e8243975860 |
--- a/lib/texinputs/isabelle.sty Fri Aug 23 15:04:00 2013 +0200 +++ b/lib/texinputs/isabelle.sty Fri Aug 23 15:36:54 2013 +0200 @@ -37,8 +37,6 @@ \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}} -\newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}} -\newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}} \newdimen\isa@parindent\newdimen\isa@parskip