lib/texinputs/pdfsetup.sty
author wenzelm
Thu, 15 Nov 2001 18:20:13 +0100
changeset 12207 4dff931b852f
parent 11570 3e3b63fe1e48
child 14981 e73f8140af78
permissions -rw-r--r--
added Induct/Binary_Trees.thy, Induct/Tree_Forest (converted from former ex/TF.ML ex/TF.thy ex/Term.ML ex/Term.thy);

%%
%% Author: Markus Wenzel, TU Muenchen
%% License: GPL (GNU GENERAL PUBLIC LICENSE)
%%
%% smart url or hyperref setup
%%

\@ifundefined{pdfoutput}
{\usepackage{url}}
{\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}