| changeset 26759 | 4f066dfc58d1 |
| parent 26738 | 615e1a86787b |
| child 26767 | cc127cc0951b |
--- 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