# HG changeset patch
# User wenzelm
# Date 1209469194 -7200
# Node ID 4f066dfc58d12949eb1bf0d937178f0855755207
# Parent  72af85f6d70b7a52134df3267bbcac3073d5ae11
more ref macros;

diff -r 72af85f6d70b -r 4f066dfc58d1 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:32 2008 +0200
+++ b/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:54 2008 +0200
@@ -8,7 +8,11 @@
 %% references
 \newcommand{\secref}[1]{\S\ref{#1}}
 \newcommand{\chref}[1]{chapter~\ref{#1}}
+\newcommand{\Chref}[1]{Chapter~\ref{#1}}
+\newcommand{\appref}[1]{appendix~\ref{#1}}
+\newcommand{\Appref}[1]{Appendix~\ref{#1}}
 \newcommand{\figref}[1]{figure~\ref{#1}}
+\newcommand{\Figref}[1]{Figure~\ref{#1}}
 
 %% index
 %FIXME