| Fri, 20 Apr 2007 10:09:32 +0200 | krauss | generate page labels | file | diff | annotate |
| Sat, 31 Dec 2005 13:03:55 +0100 | wenzelm | more robust phantomsection; | file | diff | annotate |
| Fri, 30 Dec 2005 16:56:54 +0100 | wenzelm | non-PDF: phantomsection; | 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 |
| Sat, 05 Jan 2002 01:17:14 +0100 | wenzelm | \hfootref: use \url markup; | file | diff | annotate |
| Thu, 20 Dec 2001 15:20:07 +0100 | paulson | new hfootref macro for Web links | file | diff | annotate |
| Wed, 19 Dec 2001 11:07:38 +0100 | paulson | hyperlinks in DVI mode | file | diff | annotate |
| Wed, 26 Sep 2001 20:34:22 +0200 | wenzelm | use darkblue for all links; | file | diff | annotate |
| Thu, 12 Jul 2001 17:36:14 +0200 | paulson | removed a4paper | file | diff | annotate |
| Wed, 11 Jul 2001 15:21:07 +0200 | paulson | messages, and proper treatment of footnotes | file | diff | annotate |
| Sun, 21 May 2000 01:16:54 +0200 | wenzelm | \urlstyle{rm}; | file | diff | annotate |
| Wed, 12 May 1999 17:58:03 +0200 | wenzelm | ad-hoc fix for bold indexes; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Thu, 06 May 1999 18:46:50 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 | wenzelm | added pdfsetup and isabelle logo; | file | diff | annotate |