INSTALL
Wed, 14 Feb 2001 23:42:45 +0100 wenzelm isatool install -k;
Tue, 26 Sep 2000 17:04:17 +0200 wenzelm simplified;
Wed, 20 Sep 2000 14:59:19 +0200 wenzelm tuned rpm command lines;
Tue, 19 Sep 2000 23:50:43 +0200 wenzelm updated;
Mon, 11 Sep 2000 20:41:44 +0200 wenzelm tuned;
Fri, 05 May 2000 22:23:27 +0200 wenzelm updated;
Thu, 22 Apr 1999 15:16:59 +0200 wenzelm tuned;
Tue, 13 Apr 1999 12:35:28 +0200 wenzelm adapted isatool install;
Wed, 10 Mar 1999 17:24:26 +0100 wenzelm tuned;
Mon, 08 Feb 1999 15:55:35 +0100 wenzelm no deps on compile time sources;
Thu, 27 Aug 1998 18:36:23 +0200 wenzelm tuned;
Thu, 27 Aug 1998 18:34:55 +0200 wenzelm isatool install;
Thu, 20 Nov 1997 15:38:51 +0100 wenzelm removed old note;
Fri, 23 May 1997 18:55:28 +0200 wenzelm tuned;
Tue, 20 May 1997 19:34:50 +0200 wenzelm tuned;
Tue, 06 May 1997 15:24:41 +0200 wenzelm tuned;
Fri, 07 Mar 1997 15:51:31 +0100 wenzelm tuned;
Fri, 07 Mar 1997 14:49:56 +0100 wenzelm Isabelle installation notes;
less more (0) tip