doc-src/Codegen/style.sty
author haftmann
Fri Jan 22 13:38:28 2010 +0100 (2010-01-22)
changeset 34944 970e1466028d
parent 30227 853abb4853cc
child 38404 a461dd80f83c
permissions -rw-r--r--
code literals: distinguish numeral classes by different entries
     1 
     2 %% toc
     3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     5 
     6 %% paragraphs
     7 \setlength{\parindent}{1em}
     8 
     9 %% references
    10 \newcommand{\secref}[1]{\S\ref{#1}}
    11 
    12 %% logical markup
    13 \newcommand{\strong}[1]{{\bfseries {#1}}}
    14 \newcommand{\qn}[1]{\emph{#1}}
    15 
    16 %% typographic conventions
    17 \newcommand{\qt}[1]{``{#1}''}
    18 
    19 %% verbatim text
    20 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
    21 
    22 %% quote environment
    23 \isakeeptag{quote}
    24 \renewenvironment{quote}
    25   {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
    26   {\endlist}
    27 \renewcommand{\isatagquote}{\begin{quote}}
    28 \renewcommand{\endisatagquote}{\end{quote}}
    29 \newcommand{\quotebreak}{\\[1.2ex]}
    30 
    31 \isakeeptag{quotett}
    32 \renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}
    33 \renewcommand{\endisatagquotett}{\end{quote}\isabellestyle{it}\isastyle}
    34 
    35 %% a trick
    36 \newcommand{\isasymSML}{SML}
    37 
    38 %% presentation
    39 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    40 
    41 %% character detail
    42 \renewcommand{\isadigit}[1]{\isamath{#1}}
    43 \binperiod
    44 \underscoreoff
    45 
    46 %% format
    47 \pagestyle{headings}
    48 \isabellestyle{it}
    49 
    50 %% ml reference
    51 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
    52 
    53 \isakeeptag{mlref}
    54 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
    55 \renewcommand{\endisatagmlref}{\endgroup}
    56 
    57 \isabellestyle{it}
    58 
    59 
    60 %%% Local Variables: 
    61 %%% mode: latex
    62 %%% TeX-master: "implementation"
    63 %%% End: