INSTALL
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;