equal
deleted
inserted
replaced
14 \newcommand{\appref}[1]{appendix~\ref{#1}} |
14 \newcommand{\appref}[1]{appendix~\ref{#1}} |
15 \newcommand{\Appref}[1]{Appendix~\ref{#1}} |
15 \newcommand{\Appref}[1]{Appendix~\ref{#1}} |
16 \newcommand{\figref}[1]{figure~\ref{#1}} |
16 \newcommand{\figref}[1]{figure~\ref{#1}} |
17 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
17 \newcommand{\Figref}[1]{Figure~\ref{#1}} |
18 |
18 |
|
19 %% index |
|
20 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}} |
|
21 \newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}} |
|
22 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}} |
|
23 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}} |
|
24 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}} |
|
25 |
19 %% math |
26 %% math |
20 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
27 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
21 \renewcommand{\isadigit}[1]{\isamath{#1}} |
28 \renewcommand{\isadigit}[1]{\isamath{#1}} |
22 |
29 |
23 |
30 |