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.
more robust phantomsection;
authorwenzelm
Sat, 31 Dec 2005 13:03:55 +0100
changeset 18527 88abdee3e23f
parent 18526 5cb04f20f463
child 18528 85e7f80023fc
more robust phantomsection;
doc-src/pdfsetup.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/pdfsetup.sty	Fri Dec 30 16:57:00 2005 +0100
+++ b/doc-src/pdfsetup.sty	Sat Dec 31 13:03:55 2005 +0100
@@ -25,7 +25,7 @@
   \gdef\bold#1{\textbf{\hyperpage{#1}}}
 \else
   \message{No PDF output}
-  \def\phantomsection\relax
+  \def\phantomsection{\relax}
   \usepackage{../url}
   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
 \fi
isabelle