equal
deleted
inserted
replaced
1 |
|
2 %% toc |
|
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
|
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
5 |
|
6 %% references |
|
7 \newcommand{\secref}[1]{\S\ref{#1}} |
|
8 \newcommand{\figref}[1]{figure~\ref{#1}} |
|
9 |
|
10 %% logical markup |
|
11 \newcommand{\strong}[1]{{\bfseries {#1}}} |
|
12 \newcommand{\qn}[1]{\emph{#1}} |
|
13 |
|
14 %% typographic conventions |
|
15 \newcommand{\qt}[1]{``{#1}''} |
|
16 |
|
17 %% verbatim text |
|
18 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
|
19 |
|
20 %% quoted segments |
|
21 \makeatletter |
|
22 \isakeeptag{quote} |
|
23 \newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}} |
|
24 \renewcommand{\isatagquote}{\begin{quotesegment}} |
|
25 \renewcommand{\endisatagquote}{\end{quotesegment}} |
|
26 \makeatother |
|
27 |
|
28 %% presentation |
|
29 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
30 |
|
31 \pagestyle{headings} |
|
32 \binperiod |
|
33 \underscoreoff |
|
34 |
|
35 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
36 |
|
37 \isabellestyle{it} |
|
38 |
|
39 |
|
40 %%% Local Variables: |
|
41 %%% mode: latex |
|
42 %%% TeX-master: "implementation" |
|
43 %%% End: |
|