author | blanchet |
Mon, 26 Apr 2010 21:41:54 +0200 | |
changeset 36404 | cb3dc64f13d7 |
parent 30242 | aea5d7fa7ef5 |
child 42631 | 028f94955436 |
permissions | -rw-r--r-- |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
1 |
%% toc |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
2 |
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
3 |
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
4 |
|
26865 | 5 |
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
6 |
||
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
7 |
%% references |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
8 |
\newcommand{\secref}[1]{\S\ref{#1}} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
9 |
\newcommand{\chref}[1]{chapter~\ref{#1}} |
26759 | 10 |
\newcommand{\Chref}[1]{Chapter~\ref{#1}} |
11 |
\newcommand{\appref}[1]{appendix~\ref{#1}} |
|
12 |
\newcommand{\Appref}[1]{Appendix~\ref{#1}} |
|
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
13 |
\newcommand{\figref}[1]{figure~\ref{#1}} |
26759 | 14 |
\newcommand{\Figref}[1]{Figure~\ref{#1}} |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
15 |
|
28760
cbc435f7b16b
unified use of declaration environment with IsarImplementation;
wenzelm
parents:
28758
diff
changeset
|
16 |
%% ML |
28763
b5e6122ff575
added pretty printing options (from old ref manual);
wenzelm
parents:
28760
diff
changeset
|
17 |
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
28758 | 18 |
|
29725 | 19 |
%% Isar |
20 |
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
|
29733 | 21 |
\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} |
29725 | 22 |
|
26859 | 23 |
%% math |
29725 | 24 |
\newcommand{\isasymstrut}{\isamath{\mathstrut}} |
25 |
\newcommand{\isasymvartheta}{\isamath{\,\theta}} |
|
26859 | 26 |
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
27 |
\renewcommand{\isadigit}[1]{\isamath{#1}} |
|
29725 | 28 |
\newcommand{\text}[1]{\mbox{#1}} |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
29 |
|
26865 | 30 |
%% global style options |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
31 |
\pagestyle{headings} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
32 |
\sloppy |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
33 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
34 |
\isabellestyle{it} |
26859 | 35 |
\underscoreon |
26775 | 36 |
\renewcommand{\isacharunderscore}{\_} |
37 |
\renewcommand{\isacharunderscorekeyword}{\_} |
|
26778 | 38 |
\newcommand{\isasymdash}{\mbox{-}} |