Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more ref macros;
authorwenzelm
Tue, 29 Apr 2008 13:39:54 +0200
changeset 26759 4f066dfc58d1
parent 26758 72af85f6d70b
child 26760 2de4ba348f06
more ref macros;
doc-src/IsarRef/style.sty file | annotate | diff | comparison | revisions 
--- 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
isabelle