src/Doc/Codegen/document/style.sty
author haftmann
Mon Jan 14 18:33:53 2019 +0000 (18 months ago)
changeset 69660 2bc2a8599369
parent 65041 2525e680f94f
child 70010 499896e3a7b0
permissions -rw-r--r--
canonical operation to typeset generated code makes dedicated environment obsolete
     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 \newcommand{\figref}[1]{figure~\ref{#1}}
    12 
    13 %% logical markup
    14 \newcommand{\strong}[1]{{\bfseries {#1}}}
    15 \newcommand{\qn}[1]{\emph{#1}}
    16 
    17 %% typographic conventions
    18 \newcommand{\qt}[1]{``{#1}''}
    19 \newcommand{\ditem}[1]{\item[\isastyletext #1]}
    20 
    21 %% vectors
    22 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    23 
    24 %% quote environment
    25 \isakeeptag{quote}
    26 \renewenvironment{quote}
    27   {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
    28   {\endlist}
    29 \renewcommand{\isatagquote}{\begin{quote}}
    30 \renewcommand{\endisatagquote}{\end{quote}}
    31 \newcommand{\quotebreak}{\\[1.2ex]}
    32 
    33 %% typewriter text
    34 \isakeeptag{quotett}
    35 \renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}
    36 \renewcommand{\endisatagquotett}{\end{quote}}
    37 
    38 %% a trick
    39 \newcommand{\isasymSML}{SML}
    40 \newcommand{\isasymSMLdummy}{SML}
    41 
    42 %% presentation
    43 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    44 
    45 %% character detail
    46 \renewcommand{\isadigit}[1]{\isamath{#1}}
    47 \binperiod
    48 \underscoreoff
    49 
    50 %% format
    51 \pagestyle{headings}
    52 \isabellestyle{it}
    53 
    54 %% ml reference
    55 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
    56 
    57 \isakeeptag{mlref}
    58 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
    59 \renewcommand{\endisatagmlref}{\endgroup}
    60 
    61 \isabellestyle{it}
    62 \def\isastylett{\footnotesize\normalfont\ttfamily}
    63 
    64 
    65 %%% Local Variables: 
    66 %%% mode: latex
    67 %%% TeX-master: "implementation"
    68 %%% End: