lib/texinputs/pdfsetup.sty
2008-12-20 wenzelm removed Ids;
2008-05-15 wenzelm removed unnecessary/untrusive a4paper option;
2008-05-15 wenzelm removed obsolete \ifpdfoutput;
2008-05-15 wenzelm load color/hyperref unconditionally;
2005-09-29 wenzelm pdfsetup.sty: better not rely on ifpdf.sty;
2005-09-28 wenzelm more reliable check for PDF output using ifpdf.sty;
2005-09-20 wenzelm tuned headers;
2005-05-24 haftmann ML_idf antiquotation
2004-06-21 kleing Merged in license change from Isabelle2004
2001-09-26 wenzelm use darkblue for all links;
2001-01-07 wenzelm removed ID (avoid CVS conflicts with generated versions);
2000-09-03 wenzelm GPLed;
1999-10-14 wenzelm support thumbpdf;
1999-10-05 wenzelm conditional url/hyperref setup;
less more (0) tip