INSTALL
1997-03-07 wenzelm 1997-03-07 Isabelle installation notes;