equal
deleted
inserted
replaced
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 %index, putting page numbers of definitions in boldface |
15 %index, putting page numbers of definitions in boldface |
16 \newcommand\bold[1]{{\bf#1}} |
16 \def\bold#1{\textbf{#1}} |
17 \newcommand\fnote[1]{#1n} |
17 \newcommand\fnote[1]{#1n} |
18 \newcommand\indexbold[1]{\index{#1|bold}} |
18 \newcommand\indexbold[1]{\index{#1|bold}} |
19 |
19 |
20 %for indexing constants, symbols, theorems, ... |
20 %for indexing constants, symbols, theorems, ... |
21 \newcommand\cdx[1]{{\tt#1}\index{#1@{\tt#1} constant}} |
21 \newcommand\cdx[1]{{\tt#1}\index{#1@{\tt#1} constant}} |