# HG changeset patch
# User wenzelm
# Date 1214329392 -7200
# Node ID ed3719ffdf00758479e6f6fae10626b70505c56e
# Parent  88f1e557f712cf90a0a0d7bf96b0c635f54bf702
added isaantiqopen/close;

diff -r 88f1e557f712 -r ed3719ffdf00 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Jun 23 23:45:49 2008 +0200
+++ b/lib/texinputs/isabelle.sty	Tue Jun 24 19:43:12 2008 +0200
@@ -31,8 +31,10 @@
 \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 \newcommand{\isactrlloc}[1]{{\bfseries\upshape\boldmath#1}}
+
 \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
-
+\newcommand{\isaantiqopen}{\isakeyword{\isacharbraceleft}}
+\newcommand{\isaantiqclose}{\isakeyword{\isacharbraceright}}
 
 \newdimen\isa@parindent\newdimen\isa@parskip