wneuper/isa: doc-src/IsarRef/style.sty@4ce896a30f88

     2 %% $Id$

     4 %% toc

     5 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}

     6 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}

     8 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}

    10 %% references

    11 \newcommand{\secref}[1]{\S\ref{#1}}

    12 \newcommand{\chref}[1]{chapter~\ref{#1}}

    13 \newcommand{\Chref}[1]{Chapter~\ref{#1}}

    14 \newcommand{\appref}[1]{appendix~\ref{#1}}

    15 \newcommand{\Appref}[1]{Appendix~\ref{#1}}

    16 \newcommand{\figref}[1]{figure~\ref{#1}}

    17 \newcommand{\Figref}[1]{Figure~\ref{#1}}

    19 %% index

    20 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}}

    21 \newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}

    22 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}

    23 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}

    24 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}

    26 %% math

    27 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}

    28 \renewcommand{\isadigit}[1]{\isamath{#1}}

    31 %% global style options

    32 \pagestyle{headings}

    33 \sloppy

    35 \isabellestyle{it}

    36 \underscoreon

    37 \renewcommand{\isacharunderscore}{\_}

    38 \renewcommand{\isacharunderscorekeyword}{\_}

    39 \newcommand{\isasymdash}{\mbox{-}}

author	wenzelm
	Thu, 13 Nov 2008 21:40:30 +0100
changeset 28758	4ce896a30f88
parent 26865	a3afbb414b69
child 28760	cbc435f7b16b
permissions	-rw-r--r--