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 |
15 |
|
16 \newcommand\seealso[2]{\emph{see also} #1} |
16 \usepackage{makeidx} |
17 \usepackage{makeidx} |
17 \newcommand\seealso[2]{\emph{see also} #1} |
|
18 |
18 |
19 %index, putting page numbers of definitions in boldface |
19 %index, putting page numbers of definitions in boldface |
20 \def\bold#1{\textbf{#1}} |
20 \def\bold#1{\textbf{#1}} |
21 \newcommand\fnote[1]{#1n} |
21 \newcommand\fnote[1]{#1n} |
22 \newcommand\indexbold[1]{\index{#1|bold}} |
22 \newcommand\indexbold[1]{\index{#1|bold}} |