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