1.1 --- a/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:32 2008 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:54 2008 +0200
     1.3 @@ -8,7 +8,11 @@
     1.4  %% references
     1.5  \newcommand{\secref}[1]{\S\ref{#1}}
     1.6  \newcommand{\chref}[1]{chapter~\ref{#1}}
     1.7 +\newcommand{\Chref}[1]{Chapter~\ref{#1}}
     1.8 +\newcommand{\appref}[1]{appendix~\ref{#1}}
     1.9 +\newcommand{\Appref}[1]{Appendix~\ref{#1}}
    1.10  \newcommand{\figref}[1]{figure~\ref{#1}}
    1.11 +\newcommand{\Figref}[1]{Figure~\ref{#1}}
    1.12  
    1.13  %% index
    1.14  %FIXME