Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
authorwenzelm
Tue, 16 Oct 2007 17:06:21 +0200
changeset 25055 3bb2ad8b1b37
parent 25054 b15a9a5dc9fe
child 25056 743f3603ba8b
DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
lib/texinputs/isabelle.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabelle.sty	Tue Oct 16 17:06:20 2007 +0200
+++ b/lib/texinputs/isabelle.sty	Tue Oct 16 17:06:21 2007 +0200
@@ -20,7 +20,7 @@
 %symbol markup -- \emph achieves decent spacing via italic corrections
 \newcommand{\isamath}[1]{\emph{$#1$}}
 \newcommand{\isatext}[1]{\emph{#1}}
-\newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
+\DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
isabelle