configure
2000-09-26 wenzelm tuned;
2000-09-11 wenzelm added THIS;
2000-09-03 wenzelm GPLed;
1998-12-17 wenzelm bash -c :;
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