Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Thu, 15 May 2008 22:02:05 +0200 |
wenzelm |
removed unnecessary/untrusive a4paper option;
|
file |
diff |
annotate
|
Thu, 15 May 2008 20:20:30 +0200 |
wenzelm |
removed obsolete \ifpdfoutput;
|
file |
diff |
annotate
|
Thu, 15 May 2008 20:02:39 +0200 |
wenzelm |
load color/hyperref unconditionally;
|
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
|
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
|