# 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