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