Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers;
authorwenzelm
Wed, 12 Jan 2011 14:34:11 +0100
changeset 41518 bcacc58902fa
parent 41517 7267fb5b724b
child 41519 0940fff556a6
disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers;
doc-src/pdfsetup.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/pdfsetup.sty	Wed Jan 12 14:13:04 2011 +0100
+++ b/doc-src/pdfsetup.sty	Wed Jan 12 14:34:11 2011 +0100
@@ -18,7 +18,8 @@
 \def\isaliteral#1#2{#2}
 \def\isanil{}
 
-\ifpdf
+%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}}
isabelle