Wed, 09 Feb 2000 12:29:03 +0100 |
wenzelm |
eliminated gif dir;
|
file |
diff |
annotate
|
Mon, 17 May 1999 17:18:31 +0200 |
berghofe |
Changed some file names.
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 14:04:13 +0200 |
wenzelm |
fixed center;
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 11:50:18 +0200 |
wenzelm |
weblinted, tuned;
|
file |
diff |
annotate
|
Tue, 21 Jul 1998 17:57:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 21 Jul 1998 16:38:25 +0200 |
wenzelm |
library includes Isabelle version information;
|
file |
diff |
annotate
|
Sun, 12 Oct 1997 22:06:00 +0200 |
berghofe |
Changed logo.
|
file |
diff |
annotate
|
Tue, 30 Sep 1997 12:49:16 +0200 |
berghofe |
Modified some links.
|
file |
diff |
annotate
|
Mon, 29 Sep 1997 14:12:02 +0200 |
wenzelm |
fixed href to html library;
|
file |
diff |
annotate
|
Thu, 07 Aug 1997 23:32:24 +0200 |
berghofe |
Index file which is copied to $ISABELLE_BROWSER_INFO
|
file |
diff |
annotate
|