equal
deleted
inserted
replaced
1 |
|
2 %% $Id$ |
|
3 |
|
4 %% toc |
1 %% toc |
5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
2 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
7 |
4 |
8 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
18 |
15 |
19 %% ML |
16 %% ML |
20 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
17 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
21 \newcommand{\indexml}[1]{\index{#1 (ML value)|bold}} |
18 \newcommand{\indexml}[1]{\index{#1 (ML value)|bold}} |
22 |
19 |
|
20 %% Isar |
|
21 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
|
22 |
23 %% math |
23 %% math |
|
24 \newcommand{\isasymstrut}{\isamath{\mathstrut}} |
|
25 \newcommand{\isasymvartheta}{\isamath{\,\theta}} |
24 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
26 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
25 \renewcommand{\isadigit}[1]{\isamath{#1}} |
27 \renewcommand{\isadigit}[1]{\isamath{#1}} |
26 |
28 \newcommand{\text}[1]{\mbox{#1}} |
27 |
29 |
28 %% global style options |
30 %% global style options |
29 \pagestyle{headings} |
31 \pagestyle{headings} |
30 \sloppy |
32 \sloppy |
31 |
33 |