configure
1997-03-07 wenzelm 1997-03-07 moved settings comment to build;
1997-02-17 wenzelm 1997-02-17 manual steps comment;
1997-02-17 wenzelm 1997-02-17 configure - adapt Isabelle distribution to system environment