src/Doc/Codegen/document/style.sty
author haftmann
Wed Feb 22 20:24:50 2017 +0100 (2017-02-22)
changeset 65041 2525e680f94f
parent 48985 5386df44a037
child 69660 2bc2a8599369
permissions -rw-r--r--
basic documentation for computations
     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 \newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
    35 \renewcommand{\isadigit}[1]{{##1}}%
    36 \parindent0pt%
    37 \makeatletter\isa@parindent0pt\makeatother%
    38 \isabellestyle{tt}\isastyle%
    39 \fontsize{9pt}{9pt}\selectfont}{}
    40 
    41 \isakeeptag{quotetypewriter}
    42 \renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
    43 \renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
    44 
    45 \isakeeptag{quotett}
    46 \renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}
    47 \renewcommand{\endisatagquotett}{\end{quote}}
    48 
    49 %% a trick
    50 \newcommand{\isasymSML}{SML}
    51 \newcommand{\isasymSMLdummy}{SML}
    52 
    53 %% presentation
    54 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    55 
    56 %% character detail
    57 \renewcommand{\isadigit}[1]{\isamath{#1}}
    58 \binperiod
    59 \underscoreoff
    60 
    61 %% format
    62 \pagestyle{headings}
    63 \isabellestyle{it}
    64 
    65 %% ml reference
    66 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
    67 
    68 \isakeeptag{mlref}
    69 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
    70 \renewcommand{\endisatagmlref}{\endgroup}
    71 
    72 \isabellestyle{it}
    73 
    74 
    75 %%% Local Variables: 
    76 %%% mode: latex
    77 %%% TeX-master: "implementation"
    78 %%% End: