| Sat, 05 Jan 2002 01:17:14 +0100 | \hfootref: use \url markup; | file | diff | annotate |
| Thu, 20 Dec 2001 15:20:07 +0100 | new hfootref macro for Web links | file | diff | annotate |
| Wed, 19 Dec 2001 11:07:38 +0100 | hyperlinks in DVI mode | file | diff | annotate |
| Wed, 26 Sep 2001 20:34:22 +0200 | use darkblue for all links; | file | diff | annotate |
| Thu, 12 Jul 2001 17:36:14 +0200 | removed a4paper | file | diff | annotate |
| Wed, 11 Jul 2001 15:21:07 +0200 | messages, and proper treatment of footnotes | file | diff | annotate |
| Sun, 21 May 2000 01:16:54 +0200 | \urlstyle{rm}; | file | diff | annotate |
| Wed, 12 May 1999 17:58:03 +0200 | ad-hoc fix for bold indexes; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | pdf setup; | file | diff | annotate |
| Thu, 06 May 1999 18:46:50 +0200 | pdf setup; | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 | added pdfsetup and isabelle logo; | file | diff | annotate |