# HG changeset patch
# User haftmann
# Date 1285252092 -7200
# Node ID f1622d126e318aa26c089ecef06edc08a2fc7ca5
# Parent  0afaf89ab591a1e0bca9a98e21e9f6c0e15610aa
more idiomatic handling of latex typewriter type setting

diff -r 0afaf89ab591 -r f1622d126e31 doc-src/Classes/style.sty
--- 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}
diff -r 0afaf89ab591 -r f1622d126e31 doc-src/Codegen/style.sty
--- 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}