equal
deleted
inserted
replaced
4 |
4 |
5 \hyphenation{Isa-belle man-u-script man-u-scripts ap-pen-dix mut-u-al-ly} |
5 \hyphenation{Isa-belle man-u-script man-u-scripts ap-pen-dix mut-u-al-ly} |
6 \hyphenation{data-type data-types co-data-type co-data-types } |
6 \hyphenation{data-type data-types co-data-type co-data-types } |
7 |
7 |
8 \let\ts=\thinspace |
8 \let\ts=\thinspace |
|
9 |
|
10 %usage: \iflabelundefined{LABEL}{if not defined}{if defined} |
|
11 \newcommand{\iflabelundefined}[1]{\@ifundefined{r@#1}} |
|
12 |
9 |
13 |
10 %%%INDEXING use sedindex to process the index |
14 %%%INDEXING use sedindex to process the index |
11 %index, putting page numbers of definitions in boldface |
15 %index, putting page numbers of definitions in boldface |
12 \newcommand\bold[1]{{\bf#1}} |
16 \newcommand\bold[1]{{\bf#1}} |
13 \newcommand\fnote[1]{#1n} |
17 \newcommand\fnote[1]{#1n} |