equal
deleted
inserted
replaced
12 |
12 |
13 |
13 |
14 %%%INDEXING use sedindex to process the index |
14 %%%INDEXING use sedindex to process the index |
15 |
15 |
16 \usepackage{makeidx} |
16 \usepackage{makeidx} |
|
17 \newcommand\seealso[2]{\emph{see also} #1} |
17 |
18 |
18 %index, putting page numbers of definitions in boldface |
19 %index, putting page numbers of definitions in boldface |
19 \def\bold#1{\textbf{#1}} |
20 \def\bold#1{\textbf{#1}} |
20 \newcommand\fnote[1]{#1n} |
21 \newcommand\fnote[1]{#1n} |
21 \newcommand\indexbold[1]{\index{#1|bold}} |
22 \newcommand\indexbold[1]{\index{#1|bold}} |