configure
1997-02-17 wenzelm 1997-02-17 manual steps comment;
1997-02-17 wenzelm 1997-02-17 configure - adapt Isabelle distribution to system environment