lib/texinputs/pdfsetup.sty
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-05-15 wenzelm 2008-05-15 removed unnecessary/untrusive a4paper option;
2008-05-15 wenzelm 2008-05-15 removed obsolete \ifpdfoutput;
2008-05-15 wenzelm 2008-05-15 load color/hyperref unconditionally; renamed color darkblue to linkcolor (default value unchanged); removed obsolete thumbpdf;
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;
2005-09-20 wenzelm 2005-09-20 tuned headers;
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-09-26 wenzelm 2001-09-26 use darkblue for all links;
2001-01-07 wenzelm 2001-01-07 removed ID (avoid CVS conflicts with generated versions);
2000-09-03 wenzelm 2000-09-03 GPLed;
1999-10-14 wenzelm 1999-10-14 support thumbpdf;
1999-10-05 wenzelm 1999-10-05 conditional url/hyperref setup;