configure
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-26 wenzelm 2000-09-26 tuned;
2000-09-11 wenzelm 2000-09-11 added THIS;
2000-09-03 wenzelm 2000-09-03 GPLed;
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