INSTALL
2003-05-13 kleing 2003-05-13 HOL-Real -> HOL-Complex
2003-05-12 kleing 2003-05-12 removed references to KDE versions (works for any).
2001-02-14 wenzelm 2001-02-14 isatool install -k;
2000-09-26 wenzelm 2000-09-26 simplified;
2000-09-20 wenzelm 2000-09-20 tuned rpm command lines;
2000-09-19 wenzelm 2000-09-19 updated;
2000-09-11 wenzelm 2000-09-11 tuned;
2000-05-05 wenzelm 2000-05-05 updated;
1999-04-22 wenzelm 1999-04-22 tuned;
1999-04-13 wenzelm 1999-04-13 adapted isatool install;
1999-03-10 wenzelm 1999-03-10 tuned;
1999-02-08 wenzelm 1999-02-08 no deps on compile time sources;
1998-08-27 wenzelm 1998-08-27 tuned;
1998-08-27 wenzelm 1998-08-27 isatool install;
1997-11-20 wenzelm 1997-11-20 removed old note;
1997-05-23 wenzelm 1997-05-23 tuned;
1997-05-20 wenzelm 1997-05-20 tuned;
1997-05-06 wenzelm 1997-05-06 tuned;
1997-03-07 wenzelm 1997-03-07 tuned;
1997-03-07 wenzelm 1997-03-07 Isabelle installation notes;