| Sat, 31 Dec 2005 13:03:55 +0100 |
more robust phantomsection;
|
file | diff | annotate |
| Fri, 30 Dec 2005 16:56:54 +0100 |
non-PDF: phantomsection;
|
file | diff | annotate |
| Thu, 29 Sep 2005 17:08:52 +0200 |
pdfsetup.sty: better not rely on ifpdf.sty;
|
file | diff | annotate |
| Wed, 28 Sep 2005 15:13:02 +0200 |
more reliable check for PDF output using ifpdf.sty;
|
file | diff | annotate |
| 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 |