| changeset 26868 | 60058b050c58 |
| parent 26863 | cc779d3da712 |
| child 28214 | 1e6d71cd4bf3 |
| 26867:6274cf7e2b8e | 26868:60058b050c58 |
|---|---|
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 %% |
|
4 %% Isar language elements |
|
5 %% |
|
6 |
3 |
7 \usepackage{ifthen} |
4 \usepackage{ifthen} |
8 |
5 |
9 \newcommand{\indexdef}[3]% |
6 \newcommand{\indexdef}[3]% |
10 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |
7 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}} |