Sat, 14 Nov 2009 18:36:05 +0100 |
wenzelm |
eliminated obsolete CVS Ids;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 17:40:56 +0200 |
wenzelm |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file |
diff |
annotate
|
Mon, 07 Mar 2005 19:41:04 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 16:18:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 08 Feb 1999 15:54:44 +0100 |
wenzelm |
isatool logo;
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 11:51:32 +0200 |
wenzelm |
href eps versions;
|
file |
diff |
annotate
|
Tue, 04 Aug 1998 17:06:27 +0200 |
wenzelm |
added icons;
|
file |
diff |
annotate
|
Mon, 10 Nov 1997 11:47:32 +0100 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
Tue, 14 Oct 1997 11:57:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 07 Oct 1997 12:37:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 07 Oct 1997 12:29:34 +0200 |
wenzelm |
The Isabelle Logo;
|
file |
diff |
annotate
|