equal
deleted
inserted
replaced
10 %usage: \iflabelundefined{LABEL}{if not defined}{if defined} |
10 %usage: \iflabelundefined{LABEL}{if not defined}{if defined} |
11 \newcommand{\iflabelundefined}[1]{\@ifundefined{r@#1}} |
11 \newcommand{\iflabelundefined}[1]{\@ifundefined{r@#1}} |
12 |
12 |
13 |
13 |
14 %%%INDEXING use sedindex to process the index |
14 %%%INDEXING use sedindex to process the index |
|
15 |
|
16 \usepackage{makeidx} |
|
17 |
15 %index, putting page numbers of definitions in boldface |
18 %index, putting page numbers of definitions in boldface |
16 \def\bold#1{\textbf{#1}} |
19 \def\bold#1{\textbf{#1}} |
17 \newcommand\fnote[1]{#1n} |
20 \newcommand\fnote[1]{#1n} |
18 \newcommand\indexbold[1]{\index{#1|bold}} |
21 \newcommand\indexbold[1]{\index{#1|bold}} |
19 |
22 |
34 \newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} |
37 \newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} |
35 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
38 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
36 |
39 |
37 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
40 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
38 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
41 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
39 |
|
40 %for cross-references: 2nd argument (page number) is ignored |
|
41 \newcommand\see[2]{{\it see \/}{#1}} |
|
42 \newcommand\seealso[2]{{\it see also \/}{#1}} |
|
43 |
42 |
44 %set argument in \tt font; at the same time, index using * prefix |
43 %set argument in \tt font; at the same time, index using * prefix |
45 \newcommand\rmindex[1]{{#1}\index{#1}\@} |
44 \newcommand\rmindex[1]{{#1}\index{#1}\@} |
46 \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@} |
45 \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@} |
47 \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@} |
46 \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@} |