INSTALL
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2007-10-01 wenzelm 2007-10-01 tuned;
2005-09-21 wenzelm 2005-09-21 updated for Isabelle2005;
2005-07-01 wenzelm 2005-07-01 isatool install: removed KDE option;
2005-06-20 wenzelm 2005-06-20 ./configure obsolete on virtually all systems, but apt to cause problems;
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;