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 |