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 |