INSTALL
1999-04-22 ago tuned;
1999-04-13 ago adapted isatool install;
1999-03-10 ago tuned;
1999-02-08 ago no deps on compile time sources;
1998-08-27 ago tuned;
1998-08-27 ago isatool install;
1997-11-20 ago removed old note;
1997-05-23 ago tuned;
1997-05-20 ago tuned;
1997-05-06 ago tuned;
1997-03-07 ago tuned;
1997-03-07 ago Isabelle installation notes;