Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/texinputs/isabelle.sty
changeset 14234 9590df3c5f2a
parent 13933 b224c2fd4288
child 14332 fd3535af90ab
equal deleted inserted replaced
14233:f6b6b2c55141 14234:9590df3c5f2a 
    22 \newcommand{\isamath}[1]{\emph{$#1$}}
 
    22 \newcommand{\isamath}[1]{\emph{$#1$}}
 
    23 \newcommand{\isatext}[1]{\emph{#1}}
 
    23 \newcommand{\isatext}[1]{\emph{#1}}
 
    24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
 
    24 \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
 
    25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
 
    25 \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
 
    26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 
    26 \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 
       
    27 \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
 
       
    28 \newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
 
    27 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 
    29 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
 
    28 
    30 
    29 \newdimen\isa@parindent\newdimen\isa@parskip
 
    31 \newdimen\isa@parindent\newdimen\isa@parskip
 
    30 
    32 
    31 \newenvironment{isabellebody}{%
 
    33 \newenvironment{isabellebody}{%
isabelle