author | wenzelm |
Tue, 28 Aug 2012 12:45:49 +0200 | |
changeset 48958 | 12afbf6eb7f9 |
parent 48579 | doc-src/IsarRef/style.sty@0b95a13ed90a |
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 |
|
47586
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
16 |
%% Isar |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
17 |
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
18 |
\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
19 |
\newcommand{\isadigitreset}{\def\isadigit##1{##1}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
20 |
\renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} |
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
21 |
|
28760
cbc435f7b16b
unified use of declaration environment with IsarImplementation;
wenzelm
parents:
28758
diff
changeset
|
22 |
%% ML |
28763
b5e6122ff575
added pretty printing options (from old ref manual);
wenzelm
parents:
28760
diff
changeset
|
23 |
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup} |
28758 | 24 |
|
47586
3b89d59a944b
accomodate digits within Isar command names, notably 'try0';
wenzelm
parents:
45646
diff
changeset
|
25 |
\renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset} |
42654 | 26 |
\renewcommand{\endisatagML}{\endgroup} |
27 |
||
26859 | 28 |
%% math |
29725 | 29 |
\newcommand{\isasymstrut}{\isamath{\mathstrut}} |
30 |
\newcommand{\isasymvartheta}{\isamath{\,\theta}} |
|
26859 | 31 |
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
32 |
\renewcommand{\isadigit}[1]{\isamath{#1}} |
|
29725 | 33 |
\newcommand{\text}[1]{\mbox{#1}} |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
34 |
|
26865 | 35 |
%% global style options |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
36 |
\pagestyle{headings} |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
37 |
\sloppy |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
38 |
|
42656 | 39 |
\parindent 0pt\parskip 0.5ex |
40 |
||
45646
02afa20cf397
refined "literal" document style, with some correspondence to actual text source;
wenzelm
parents:
42666
diff
changeset
|
41 |
\isabellestyle{literal} |
42631 | 42 |
|
48579 | 43 |
\newcommand{\isasymdash}{\isatext{\mbox{-}}} |
44 |
||
42664 | 45 |
\railtermfont{\isabellestyle{tt}} |
45646
02afa20cf397
refined "literal" document style, with some correspondence to actual text source;
wenzelm
parents:
42666
diff
changeset
|
46 |
\railnontermfont{\isabellestyle{literal}} |
02afa20cf397
refined "literal" document style, with some correspondence to actual text source;
wenzelm
parents:
42666
diff
changeset
|
47 |
\railnamefont{\isabellestyle{literal}} |