isabelle: doc-src/pdfsetup.sty@74bc935273ea (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}%
12636 5069929098ab \hfootref: use \url markup; wenzelm parents: 12561 diff changeset	4	\newcommand{\hfootref}[2]{#2\footnote{\url{#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!)
12636 5069929098ab \hfootref: use \url markup; wenzelm parents: 12561 diff changeset	9	\newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}%
12561 8cf9d9a3a327 new hfootref macro for Web links paulson parents: 12551 diff changeset	10	\gdef\fnote#1{\hyperpage{#1}n}%
6643 ff827fccffb5 ad-hoc fix for bold indexes; wenzelm parents: 6623 diff changeset	11	\gdef\bold#1{\textbf{\hyperpage{#1}}}}
8891 8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	12
8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	13	\urlstyle{rm}

author	avigad
	Wed, 03 Aug 2005 14:48:42 +0200
changeset 17013	74bc935273ea
parent 12636	5069929098ab
child 17698	e86cde1e5b12
permissions	-rw-r--r--