| changeset 50109 | c13dc0b1841c |
| parent 48985 | 5386df44a037 |
| child 55365 | 9d5aba2baa4c |
--- a/src/Doc/IsarRef/document/style.sty Sat Nov 17 19:46:32 2012 +0100 +++ b/src/Doc/IsarRef/document/style.sty Sat Nov 17 20:10:28 2012 +0100 @@ -5,6 +5,7 @@ \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% references +\newcommand{\partref}[1]{part~\ref{#1}} \newcommand{\secref}[1]{\S\ref{#1}} \newcommand{\chref}[1]{chapter~\ref{#1}} \newcommand{\Chref}[1]{Chapter~\ref{#1}}