lib/texinputs/isabelle.sty
changeset 25055 3bb2ad8b1b37
parent 22647 d920afb63323
child 25081 aabaab4ad212
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Oct 16 17:06:20 2007 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Oct 16 17:06:21 2007 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  %symbol markup -- \emph achieves decent spacing via italic corrections
     1.5  \newcommand{\isamath}[1]{\emph{$#1$}}
     1.6  \newcommand{\isatext}[1]{\emph{#1}}
     1.7 -\newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.8 +\DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.9  \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
    1.10  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
    1.11  \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}