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.
src/Doc/isar.sty
changeset 59346 f25442e194bf
parent 59343 43281cd62cb0
child 60459 2761a2249c83
equal deleted inserted replaced
59345:b02b1fbcf051 59346:f25442e194bf 
     1 \usepackage{ifthen}
 
     1 \usepackage{ifthen}
 
     2 
     2 
     3 \newcommand{\indexdef}[3]%
 
     3 \newcommand{\indexdef}[3]%
 
     4 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
 
     4 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
 
     5 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
 
     5 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
 
       
     6 
       
     7 \newcommand{\isadigitreset}{\def\isadigit##1{##1}}
 
     6 
     8 
     7 \newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}}
 
     9 \newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}}
 
     8 \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}}
 
    10 \newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}}
 
     9 
    11 
    10 \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}}
 
    12 \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}}
isabelle