configure
1997-04-22 wenzelm removed -norc;
1997-03-07 wenzelm moved settings comment to build;
1997-02-17 wenzelm manual steps comment;
1997-02-17 wenzelm configure - adapt Isabelle distribution to system environment
less more (0) tip