1.1 --- a/doc-src/isabelle.sty Tue Jun 24 22:13:19 2008 +0200
1.2 +++ b/doc-src/isabelle.sty Tue Jun 24 22:27:36 2008 +0200
1.3 @@ -31,8 +31,10 @@
1.4 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
1.5 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
1.6 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}}
1.7 +
1.8 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
1.9 -
1.10 +\newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}}
1.11 +\newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}}
1.12
1.13 \newdimen\isa@parindent\newdimen\isa@parskip
1.14