1 files changed, 37 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/prettyref/prettyref.sty b/Master/texmf-dist/tex/latex/prettyref/prettyref.sty
new file mode 100644
index 00000000000..67940f3b75f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/prettyref/prettyref.sty
@@ -0,0 +1,37 @@
+%%
+%% This is file `prettyref.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% prettyref.dtx  (with options: `style')
+%% 
+%% Copyright (c) 1995 Kevin Ruland
+%% 
+%%
+%% prettyref v3.0
+%%
+%% Copyright 1995,1998.  by Kevin Ruland kevin@rodin.wustl.edu
+%%
+\ProvidesPackage{prettyref}[1998/07/09 v3.0]
+\def\newrefformat#1#2{%
+  \@namedef{pr@#1}##1{#2}}
+\newrefformat{eq}{\textup{(\ref{#1})}}
+\newrefformat{lem}{Lemma \ref{#1}}
+\newrefformat{thm}{Theorem \ref{#1}}
+\newrefformat{cha}{Chapter \ref{#1}}
+\newrefformat{sec}{Section \ref{#1}}
+\newrefformat{tab}{Table \ref{#1} on page \pageref{#1}}
+\newrefformat{fig}{Figure \ref{#1} on page \pageref{#1}}
+\def\prettyref#1{\@prettyref#1:}
+\def\@prettyref#1:#2:{%
+  \expandafter\ifx\csname pr@#1\endcsname\relax%
+    \PackageWarning{prettyref}{Reference format #1\space undefined}%
+    \ref{#1:#2}%
+  \else%
+    \csname pr@#1\endcsname{#1:#2}%
+  \fi%
+}
+\endinput
+%%
+%% End of file `prettyref.sty'.