lib/texinputs/pdfsetup.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;