--- a/doc-src/Classes/style.sty Thu Sep 23 15:46:17 2010 +0200
+++ b/doc-src/Classes/style.sty Thu Sep 23 16:28:12 2010 +0200
@@ -16,6 +16,7 @@
%% typographic conventions
\newcommand{\qt}[1]{``{#1}''}
+\newcommand{\ditem}[1]{\item[\isastyletext #1]}
%% quote environment
\isakeeptag{quote}
@@ -28,9 +29,9 @@
%% typewriter text
\newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}%
-\def\isacharunderscore{\_}%
-\parindent0pt\fontsize{9pt}{0pt}%
-\tt\setlength{\baselineskip}{8pt}\renewcommand{\baselinestretch}{1}}{}
+\parindent0pt%
+\fontsize{9pt}{0pt}%
+\isabellestyle{tt}\isastyle}{}
%% presentation
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
--- a/doc-src/Codegen/style.sty Thu Sep 23 15:46:17 2010 +0200
+++ b/doc-src/Codegen/style.sty Thu Sep 23 16:28:12 2010 +0200
@@ -8,6 +8,7 @@
%% references
\newcommand{\secref}[1]{\S\ref{#1}}
+\newcommand{\figref}[1]{figure~\ref{#1}}
%% logical markup
\newcommand{\strong}[1]{{\bfseries {#1}}}
@@ -28,9 +29,9 @@
%% typewriter text
\newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}%
-\def\isacharunderscore{\_}%
-\parindent0pt\fontsize{9pt}{0pt}%
-\tt\setlength{\baselineskip}{8pt}\renewcommand{\baselinestretch}{1}}{}
+\parindent0pt%
+\fontsize{9pt}{0pt}%
+\isabellestyle{tt}\isastyle}{}
\isakeeptag{quotett}
\renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}