configure
1997-04-22 ago removed -norc;
1997-03-07 ago moved settings comment to build;
1997-02-17 ago manual steps comment;
1997-02-17 ago configure - adapt Isabelle distribution to system environment