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