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

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

author	paulson
	Wed, 19 Dec 2001 11:07:38 +0100
changeset 12551	f44734e5e746
parent 11570	3e3b63fe1e48
child 12561	8cf9d9a3a327
permissions	-rw-r--r--