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 |