doc-src/IsarOverview/Isar/document/pdfsetup.sty
author nipkow
Fri, 10 Sep 2004 00:19:15 +0200
changeset 15195 197e00ce3f20
parent 14981 e73f8140af78
child 16353 94e565ded526
permissions -rw-r--r--
new forward deduction capability for simplifier
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     1
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     2
%% Author: Markus Wenzel, TU Muenchen
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     3
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     4
%% smart url or hyperref setup
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     5
%%
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     6
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     7
\@ifundefined{pdfoutput}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     8
{\usepackage{url}}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     9
{\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    10
  \usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    11
  \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}