--- a/src/Doc/pdfsetup.sty Wed Sep 12 11:38:23 2012 +0200
+++ b/src/Doc/pdfsetup.sty Wed Sep 12 12:09:40 2012 +0200
@@ -15,13 +15,3 @@
\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