1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Codegen/style.sty	Tue Mar 03 11:00:51 2009 +0100
     1.3 @@ -0,0 +1,56 @@
     1.4 +
     1.5 +%% toc
     1.6 +\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     1.7 +\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     1.8 +
     1.9 +%% references
    1.10 +\newcommand{\secref}[1]{\S\ref{#1}}
    1.11 +
    1.12 +%% logical markup
    1.13 +\newcommand{\strong}[1]{{\bfseries {#1}}}
    1.14 +\newcommand{\qn}[1]{\emph{#1}}
    1.15 +
    1.16 +%% typographic conventions
    1.17 +\newcommand{\qt}[1]{``{#1}''}
    1.18 +
    1.19 +%% verbatim text
    1.20 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
    1.21 +
    1.22 +%% quoted segments
    1.23 +\makeatletter
    1.24 +\isakeeptag{quote}
    1.25 +\newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}}
    1.26 +\renewcommand{\isatagquote}{\begin{quotesegment}}
    1.27 +\renewcommand{\endisatagquote}{\end{quotesegment}}
    1.28 +\makeatother
    1.29 +
    1.30 +\isakeeptag{quotett}
    1.31 +\renewcommand{\isatagquotett}{\begin{quotesegment}\isabellestyle{tt}\isastyle}
    1.32 +\renewcommand{\endisatagquotett}{\end{quotesegment}\isabellestyle{it}\isastyle}
    1.33 +
    1.34 +%% a trick
    1.35 +\newcommand{\isasymSML}{SML}
    1.36 +
    1.37 +%% presentation
    1.38 +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.39 +
    1.40 +\pagestyle{headings}
    1.41 +\binperiod
    1.42 +\underscoreoff
    1.43 +
    1.44 +\renewcommand{\isadigit}[1]{\isamath{#1}}
    1.45 +
    1.46 +%% ml reference
    1.47 +\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
    1.48 +
    1.49 +\isakeeptag{mlref}
    1.50 +\renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
    1.51 +\renewcommand{\endisatagmlref}{\endgroup}
    1.52 +
    1.53 +\isabellestyle{it}
    1.54 +
    1.55 +
    1.56 +%%% Local Variables: 
    1.57 +%%% mode: latex
    1.58 +%%% TeX-master: "implementation"
    1.59 +%%% End: