configure
1997-02-17 wenzelm 1997-02-17 configure - adapt Isabelle distribution to system environment