%% toc
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
%% references
\newcommand{\secref}[1]{\S\ref{#1}}
\newcommand{\figref}[1]{figure~\ref{#1}}
%% logical markup
\newcommand{\strong}[1]{{\bfseries {#1}}}
\newcommand{\qn}[1]{\emph{#1}}
%% typographic conventions
\newcommand{\qt}[1]{``{#1}''}
%% verbatim text
\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
%% quoted segments
\makeatletter
\isakeeptag{quote}
\newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}}
\renewcommand{\isatagquote}{\begin{quotesegment}}
\renewcommand{\endisatagquote}{\end{quotesegment}}
\makeatother
%% presentation
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
\pagestyle{headings}
\binperiod
\underscoreoff
\renewcommand{\isadigit}[1]{\isamath{#1}}
\isabellestyle{it}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "implementation"
%%% End: