1.1 --- a/doc-src/Codegen/style.sty	Tue Mar 03 11:00:51 2009 +0100
     1.2 +++ b/doc-src/Codegen/style.sty	Tue Mar 03 13:20:53 2009 +0100
     1.3 @@ -3,6 +3,9 @@
     1.4  \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     1.5  \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     1.6  
     1.7 +%% paragraphs
     1.8 +\setlength{\parindent}{1em}
     1.9 +
    1.10  %% references
    1.11  \newcommand{\secref}[1]{\S\ref{#1}}
    1.12  
    1.13 @@ -16,17 +19,18 @@
    1.14  %% verbatim text
    1.15  \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
    1.16  
    1.17 -%% quoted segments
    1.18 -\makeatletter
    1.19 +%% quote environment
    1.20  \isakeeptag{quote}
    1.21 -\newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}}
    1.22 -\renewcommand{\isatagquote}{\begin{quotesegment}}
    1.23 -\renewcommand{\endisatagquote}{\end{quotesegment}}
    1.24 -\makeatother
    1.25 +\renewenvironment{quote}
    1.26 +  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
    1.27 +  {\endlist}
    1.28 +\renewcommand{\isatagquote}{\begin{quote}}
    1.29 +\renewcommand{\endisatagquote}{\end{quote}}
    1.30 +\newcommand{\quotebreak}{\\[1.2ex]}
    1.31  
    1.32  \isakeeptag{quotett}
    1.33 -\renewcommand{\isatagquotett}{\begin{quotesegment}\isabellestyle{tt}\isastyle}
    1.34 -\renewcommand{\endisatagquotett}{\end{quotesegment}\isabellestyle{it}\isastyle}
    1.35 +\renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}
    1.36 +\renewcommand{\endisatagquotett}{\end{quote}\isabellestyle{it}\isastyle}
    1.37  
    1.38  %% a trick
    1.39  \newcommand{\isasymSML}{SML}
    1.40 @@ -34,11 +38,14 @@
    1.41  %% presentation
    1.42  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.43  
    1.44 -\pagestyle{headings}
    1.45 +%% character detail
    1.46 +\renewcommand{\isadigit}[1]{\isamath{#1}}
    1.47  \binperiod
    1.48  \underscoreoff
    1.49  
    1.50 -\renewcommand{\isadigit}[1]{\isamath{#1}}
    1.51 +%% format
    1.52 +\pagestyle{headings}
    1.53 +\isabellestyle{it}
    1.54  
    1.55  %% ml reference
    1.56  \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}