doc-src/isar.sty
changeset 28214 1e6d71cd4bf3
parent 26868 60058b050c58
child 28761 9ec4482c9201
     1.1 --- a/doc-src/isar.sty	Sun Sep 14 21:50:35 2008 +0200
     1.2 +++ b/doc-src/isar.sty	Mon Sep 15 16:40:53 2008 +0200
     1.3 @@ -7,6 +7,8 @@
     1.4  {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
     1.5  \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
     1.6  
     1.7 +\newcommand{\isatt}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt #1}}
     1.8 +
     1.9  \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}}
    1.10  \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}}
    1.11  \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}}