wneuper/isa: doc-src/IsarRef/style.sty@20e3616b2d9c

     1 %% toc

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

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

     5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}

     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}}

    16 %% ML

    17 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}

    19 %% Isar

    20 \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}

    21 \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}

    23 %% math

    24 \newcommand{\isasymstrut}{\isamath{\mathstrut}}

    25 \newcommand{\isasymvartheta}{\isamath{\,\theta}}

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

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

    28 \newcommand{\text}[1]{\mbox{#1}}

    30 %% global style options

    31 \pagestyle{headings}

    32 \sloppy

    34 \isabellestyle{it}

    35 \underscoreon

    36 \renewcommand{\isacharunderscore}{\_}

    37 \renewcommand{\isacharunderscorekeyword}{\_}

    38 \newcommand{\isasymdash}{\mbox{-}}

author	Walther Neuper <neuper@ist.tugraz.at>
	Thu, 12 Aug 2010 15:03:34 +0200
branch	isac-from-Isabelle2009-2
changeset 37913	20e3616b2d9c
parent 30242	aea5d7fa7ef5
child 43502	028f94955436
permissions	-rw-r--r--