src/Doc/IsarRef/document/style.sty
changeset 50109 c13dc0b1841c
parent 48985 5386df44a037
child 55365 9d5aba2baa4c
equal deleted inserted replaced
50108:f171b5240c31 50109:c13dc0b1841c
     3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     3 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
     4 
     4 
     5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
     5 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
     6 
     6 
     7 %% references
     7 %% references
       
     8 \newcommand{\partref}[1]{part~\ref{#1}}
     8 \newcommand{\secref}[1]{\S\ref{#1}}
     9 \newcommand{\secref}[1]{\S\ref{#1}}
     9 \newcommand{\chref}[1]{chapter~\ref{#1}}
    10 \newcommand{\chref}[1]{chapter~\ref{#1}}
    10 \newcommand{\Chref}[1]{Chapter~\ref{#1}}
    11 \newcommand{\Chref}[1]{Chapter~\ref{#1}}
    11 \newcommand{\appref}[1]{appendix~\ref{#1}}
    12 \newcommand{\appref}[1]{appendix~\ref{#1}}
    12 \newcommand{\Appref}[1]{Appendix~\ref{#1}}
    13 \newcommand{\Appref}[1]{Appendix~\ref{#1}}