doc-src/pdfsetup.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;