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