doc-src/pdfsetup.sty
Sat, 05 Jan 2002 01:17:14 +0100 wenzelm \hfootref: use \url markup;
Thu, 20 Dec 2001 15:20:07 +0100 paulson new hfootref macro for Web links
Wed, 19 Dec 2001 11:07:38 +0100 paulson hyperlinks in DVI mode
Wed, 26 Sep 2001 20:34:22 +0200 wenzelm use darkblue for all links;
Thu, 12 Jul 2001 17:36:14 +0200 paulson removed a4paper
Wed, 11 Jul 2001 15:21:07 +0200 paulson messages, and proper treatment of footnotes
Sun, 21 May 2000 01:16:54 +0200 wenzelm \urlstyle{rm};
Wed, 12 May 1999 17:58:03 +0200 wenzelm ad-hoc fix for bold indexes;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Thu, 06 May 1999 18:46:50 +0200 wenzelm pdf setup;
Mon, 20 Jul 1998 19:06:39 +0200 wenzelm added pdfsetup and isabelle logo;
less more (0) tip