author | wenzelm |
Sun, 14 Feb 2016 16:30:27 +0100 | |
changeset 62312 | 5e5a881ebc12 |
parent 62271 | 4cfe65cfd369 |
child 69599 | caa7e406056d |
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 |
50109 | 8 |
\newcommand{\partref}[1]{part~\ref{#1}} |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
9 |
\newcommand{\secref}[1]{\S\ref{#1}} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
10 |
\newcommand{\chref}[1]{chapter~\ref{#1}} |
26759 | 11 |
\newcommand{\Chref}[1]{Chapter~\ref{#1}} |
12 |
\newcommand{\appref}[1]{appendix~\ref{#1}} |
|
13 |
\newcommand{\Appref}[1]{Appendix~\ref{#1}} |
|
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
14 |
\newcommand{\figref}[1]{figure~\ref{#1}} |
26759 | 15 |
\newcommand{\Figref}[1]{Figure~\ref{#1}} |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
16 |
|
47586
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
17 |
%% Isar |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
18 |
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
19 |
\renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
20 |
|
28760
cbc435f7b16b
unified use of declaration environment with IsarImplementation;
wenzelm
parents:
28758
diff
changeset
|
21 |
%% ML |
28763
b5e6122ff575
added pretty printing options (from old ref manual);
wenzelm
parents:
28760
diff
changeset
|
22 |
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
28758 | 23 |
|
47586
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
24 |
\renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset} |
42654 | 25 |
\renewcommand{\endisatagML}{\endgroup} |
26 |
||
26859 | 27 |
%% math |
29725 | 28 |
\newcommand{\isasymstrut}{\isamath{\mathstrut}} |
29 |
\newcommand{\isasymvartheta}{\isamath{\,\theta}} |
|
26859 | 30 |
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
31 |
\renewcommand{\isadigit}[1]{\isamath{#1}} |
|
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
32 |
|
26865 | 33 |
%% global style options |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
34 |
\pagestyle{headings} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
35 |
\sloppy |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
36 |
|
42656 | 37 |
\parindent 0pt\parskip 0.5ex |
38 |
||
55365 | 39 |
\isabellestyle{literalunderscore} |
42631 | 40 |
|
42664 | 41 |
\railtermfont{\isabellestyle{tt}} |
55365 | 42 |
\railnontermfont{\isabellestyle{literalunderscore}} |
43 |
\railnamefont{\isabellestyle{literalunderscore}} |