doc-src/IsarRef/style.sty
author wenzelm
Sun Nov 27 13:12:42 2011 +0100 (2011-11-27)
changeset 45646 02afa20cf397
parent 42666 fee67c099d03
child 47586 3b89d59a944b
permissions -rw-r--r--
refined "literal" document style, with some correspondence to actual text source;
     1 %% toc
     2 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     4 
     5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
     6 
     7 %% references
     8 \newcommand{\secref}[1]{\S\ref{#1}}
     9 \newcommand{\chref}[1]{chapter~\ref{#1}}
    10 \newcommand{\Chref}[1]{Chapter~\ref{#1}}
    11 \newcommand{\appref}[1]{appendix~\ref{#1}}
    12 \newcommand{\Appref}[1]{Appendix~\ref{#1}}
    13 \newcommand{\figref}[1]{figure~\ref{#1}}
    14 \newcommand{\Figref}[1]{Figure~\ref{#1}}
    15 
    16 %% ML
    17 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
    18 
    19 \renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\def\isadigit##1{##1}}
    20 \renewcommand{\endisatagML}{\endgroup}
    21 
    22 %% Isar
    23 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
    24 \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
    25 
    26 %% math
    27 \newcommand{\isasymstrut}{\isamath{\mathstrut}}
    28 \newcommand{\isasymvartheta}{\isamath{\,\theta}}
    29 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    30 \renewcommand{\isadigit}[1]{\isamath{#1}}
    31 \newcommand{\text}[1]{\mbox{#1}}
    32 
    33 %% global style options
    34 \pagestyle{headings}
    35 \sloppy
    36 
    37 \parindent 0pt\parskip 0.5ex
    38 
    39 \isabellestyle{literal}
    40 
    41 \railtermfont{\isabellestyle{tt}}
    42 \railnontermfont{\isabellestyle{literal}}
    43 \railnamefont{\isabellestyle{literal}}