equal
deleted
inserted
replaced
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
5 |
5 |
6 %% references |
6 %% references |
7 \newcommand{\secref}[1]{\S\ref{#1}} |
7 \newcommand{\secref}[1]{\S\ref{#1}} |
8 |
|
9 %% index |
|
10 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}} |
|
11 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}} |
|
12 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}} |
|
13 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}} |
|
14 |
8 |
15 %% logical markup |
9 %% logical markup |
16 \newcommand{\strong}[1]{{\bfseries {#1}}} |
10 \newcommand{\strong}[1]{{\bfseries {#1}}} |
17 \newcommand{\qn}[1]{\emph{#1}} |
11 \newcommand{\qn}[1]{\emph{#1}} |
18 |
12 |