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

17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	1	%% $Id$
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	2	%%
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	3	%% smart url or hyperref setup -- special version for Isabelle documentation
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	4	%%
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	5
17725 d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	6	\message{pdfsetup.sty v0.3 29/9/2005}
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	7
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	8	\newif\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	9	\ifx\pdfoutput\undefined
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	10	\else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	11	\ifx\pdfoutput\relax
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	12	\else
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	13	\ifcase\pdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	14	\else\pdfoutputtrue\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	15	\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	16	\fi
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	17
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	18	\ifpdfoutput
d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	19	\message{PDF output}
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	20	\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	21	\usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
11413 e8095c2d3947 removed a4paper paulson parents: 11409 diff changeset	22	%no a4paper because overall style sets this (not for Springer!)
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	23	\newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	24	\gdef\fnote#1{\hyperpage{#1}n}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	25	\gdef\bold#1{\textbf{\hyperpage{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	26	\else
17725 d3f55965bdbf pdfsetup.sty: better not rely on ifpdf.sty; wenzelm parents: 17698 diff changeset	27	\message{No PDF output}
18527 88abdee3e23f more robust phantomsection; wenzelm parents: 18521 diff changeset	28	\def\phantomsection{\relax}
17698 e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	29	\usepackage{../url}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	30	\newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
e86cde1e5b12 more reliable check for PDF output using ifpdf.sty; wenzelm parents: 12636 diff changeset	31	\fi
8891 8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	32
8760f7cdb326 \urlstyle{rm}; wenzelm parents: 6643 diff changeset	33	\urlstyle{rm}

author	wenzelm
	Fri, 02 Jun 2006 18:15:38 +0200
changeset 19761	5cd82054c2c6
parent 18527	88abdee3e23f
child 22734	790f73fa8b36
permissions	-rw-r--r--