lib/texinputs/pdfsetup.sty
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Thu, 15 May 2008 22:02:05 +0200 wenzelm removed unnecessary/untrusive a4paper option;
Thu, 15 May 2008 20:20:30 +0200 wenzelm removed obsolete \ifpdfoutput;
Thu, 15 May 2008 20:02:39 +0200 wenzelm load color/hyperref unconditionally;
Thu, 29 Sep 2005 17:08:52 +0200 wenzelm pdfsetup.sty: better not rely on ifpdf.sty;
Wed, 28 Sep 2005 15:13:02 +0200 wenzelm more reliable check for PDF output using ifpdf.sty;
Tue, 20 Sep 2005 21:39:00 +0200 wenzelm tuned headers;
Tue, 24 May 2005 14:28:59 +0200 haftmann ML_idf antiquotation
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Wed, 26 Sep 2001 20:34:22 +0200 wenzelm use darkblue for all links;
Sun, 07 Jan 2001 21:45:14 +0100 wenzelm removed ID (avoid CVS conflicts with generated versions);
Sun, 03 Sep 2000 20:01:27 +0200 wenzelm GPLed;
Thu, 14 Oct 1999 15:14:14 +0200 wenzelm support thumbpdf;
Tue, 05 Oct 1999 15:41:23 +0200 wenzelm conditional url/hyperref setup;
less more (0) tip