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}}