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