configure
1998-12-17 wenzelm 1998-12-17 bash -c :;
1997-04-22 wenzelm 1997-04-22 removed -norc;
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