isabelle: doc-src/pdfsetup.sty@3dd9aae402bb (annotated)

11409 f0bcb3dfa7d6 messages, and proper treatment of footnotes paulson parents: 8891 diff changeset	1	\message{pdfsetup.sty v0.1 11/7/2001}
f0bcb3dfa7d6 messages, and proper treatment of footnotes paulson parents: 8891 diff changeset	2	\@ifundefined{pdfoutput}{\message{No PDF output}\usepackage{../url}}
f0bcb3dfa7d6 messages, and proper treatment of footnotes paulson parents: 8891 diff changeset	3	{\message{Generating PDF output}%
11570 3e3b63fe1e48 use darkblue for all links; wenzelm parents: 11413 diff changeset	4	\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
3e3b63fe1e48 use darkblue for all links; wenzelm parents: 11413 diff changeset	5	\usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
11413 e8095c2d3947 removed a4paper paulson parents: 11409 diff changeset	6	%no a4paper because overall style sets this (not for Springer!)
11409 f0bcb3dfa7d6 messages, and proper treatment of footnotes paulson parents: 8891 diff changeset	7	\gdef\fnote#1{\hyperpage{#1}n}
6643 ff827fccffb5 ad-hoc fix for bold indexes; wenzelm parents: 6623 diff changeset	8	\gdef\bold#1{\textbf{\hyperpage{#1}}}}
8891 8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	9
8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	10	\urlstyle{rm}