3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
7 \setlength{\parindent}{1em}
10 \newcommand{\secref}[1]{\S\ref{#1}}
11 \newcommand{\figref}[1]{figure~\ref{#1}}
14 \newcommand{\strong}[1]{{\bfseries {#1}}}
15 \newcommand{\qn}[1]{\emph{#1}}
17 %% typographic conventions
18 \newcommand{\qt}[1]{``{#1}''}
19 \newcommand{\ditem}[1]{\item[\isastyletext #1]}
23 \renewenvironment{quote}
24 {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
26 \renewcommand{\isatagquote}{\begin{quote}}
27 \renewcommand{\endisatagquote}{\end{quote}}
28 \newcommand{\quotebreak}{\\[1.2ex]}
31 \newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}%
33 \isabellestyle{tt}\isastyle%
34 \fontsize{9pt}{9pt}\selectfont}{}
37 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
40 \renewcommand{\isadigit}[1]{\isamath{#1}}
51 %%% TeX-master: "implementation"