--- a/doc-src/pdfsetup.sty Tue Aug 28 18:46:15 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-%%
-%% hyperref setup -- special version for Isabelle documentation
-%%
-
-\usepackage{ifpdf}
-
-\usepackage{color}
-\definecolor{linkcolor}{rgb}{0,0,0}
-\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
-
-\newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
-\gdef\fnote#1{\hyperpage{#1}n}
-\gdef\bold#1{\textbf{\hyperpage{#1}}}
-
-\urlstyle{rm}
-\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi
-
-\def\isaliteral#1#2{#2}
-\def\isanil{}
-
-%experimental treatment of replacement text
-\iffalse
-\ifnum\pdfminorversion<5\pdfminorversion=5\fi
-\renewcommand{\isaliteral}[2]{%
-\pdfliteral direct{/Span <</ActualText<#1>>> BDC}#2\pdfliteral direct{EMC}}
-\renewcommand{\isanil}{{\color{white}.}}
-\fi