doc-src/pdfsetup.sty
2009-04-05 wenzelm 2009-04-05 tuned white space;
2009-04-05 wenzelm 2009-04-05 \nolinkurl for dvi mode recovers hyphenation of URLs -- this already works by default in PDF mode;
2008-05-15 wenzelm 2008-05-15 tuned comment;
2008-05-15 wenzelm 2008-05-15 updated version;
2008-05-15 wenzelm 2008-05-15 removed obsolete \ifpdfoutput;
2008-05-15 wenzelm 2008-05-15 default linkcolor=black;
2008-05-15 wenzelm 2008-05-15 hyperref is always enabled (also works with xdvi, dvips); replaced darkblue by generic linkcolor; reduced verbosity;
2007-04-20 krauss 2007-04-20 generate page labels
2005-12-31 wenzelm 2005-12-31 more robust phantomsection;
2005-12-30 wenzelm 2005-12-30 non-PDF: phantomsection;
2005-09-29 wenzelm 2005-09-29 pdfsetup.sty: better not rely on ifpdf.sty;
2005-09-28 wenzelm 2005-09-28 more reliable check for PDF output using ifpdf.sty;
2002-01-05 wenzelm 2002-01-05 \hfootref: use \url markup;
2001-12-20 paulson 2001-12-20 new hfootref macro for Web links
2001-12-19 paulson 2001-12-19 hyperlinks in DVI mode
2001-09-26 wenzelm 2001-09-26 use darkblue for all links;
2001-07-12 paulson 2001-07-12 removed a4paper
2001-07-11 paulson 2001-07-11 messages, and proper treatment of footnotes
2000-05-21 wenzelm 2000-05-21 \urlstyle{rm};
1999-05-12 wenzelm 1999-05-12 ad-hoc fix for bold indexes;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-06 wenzelm 1999-05-06 pdf setup;
1998-07-20 wenzelm 1998-07-20 added pdfsetup and isabelle logo;