doc-src/IsarRef/style.sty
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 47586 3b89d59a944b
child 48579 0b95a13ed90a
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
wenzelm@26738
     1
%% toc
wenzelm@26738
     2
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
wenzelm@26738
     3
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
wenzelm@26738
     4
wenzelm@26865
     5
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
wenzelm@26865
     6
wenzelm@26738
     7
%% references
wenzelm@26738
     8
\newcommand{\secref}[1]{\S\ref{#1}}
wenzelm@26738
     9
\newcommand{\chref}[1]{chapter~\ref{#1}}
wenzelm@26759
    10
\newcommand{\Chref}[1]{Chapter~\ref{#1}}
wenzelm@26759
    11
\newcommand{\appref}[1]{appendix~\ref{#1}}
wenzelm@26759
    12
\newcommand{\Appref}[1]{Appendix~\ref{#1}}
wenzelm@26738
    13
\newcommand{\figref}[1]{figure~\ref{#1}}
wenzelm@26759
    14
\newcommand{\Figref}[1]{Figure~\ref{#1}}
wenzelm@26738
    15
wenzelm@47586
    16
%% Isar
wenzelm@47586
    17
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
wenzelm@47586
    18
\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
wenzelm@47586
    19
\newcommand{\isadigitreset}{\def\isadigit##1{##1}}
wenzelm@47586
    20
\renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}}
wenzelm@47586
    21
wenzelm@28760
    22
%% ML
wenzelm@28763
    23
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
wenzelm@28758
    24
wenzelm@47586
    25
\renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\isadigitreset}
wenzelm@42654
    26
\renewcommand{\endisatagML}{\endgroup}
wenzelm@42654
    27
wenzelm@26859
    28
%% math
wenzelm@29725
    29
\newcommand{\isasymstrut}{\isamath{\mathstrut}}
wenzelm@29725
    30
\newcommand{\isasymvartheta}{\isamath{\,\theta}}
wenzelm@26859
    31
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
wenzelm@26859
    32
\renewcommand{\isadigit}[1]{\isamath{#1}}
wenzelm@29725
    33
\newcommand{\text}[1]{\mbox{#1}}
wenzelm@26738
    34
wenzelm@26865
    35
%% global style options
wenzelm@26738
    36
\pagestyle{headings}
wenzelm@26738
    37
\sloppy
wenzelm@26738
    38
wenzelm@42656
    39
\parindent 0pt\parskip 0.5ex
wenzelm@42656
    40
wenzelm@45646
    41
\isabellestyle{literal}
wenzelm@42631
    42
wenzelm@42664
    43
\railtermfont{\isabellestyle{tt}}
wenzelm@45646
    44
\railnontermfont{\isabellestyle{literal}}
wenzelm@45646
    45
\railnamefont{\isabellestyle{literal}}