configure
2004-06-21 ago Merged in license change from Isabelle2004
2000-11-22 ago tuned;
2000-09-26 ago tuned;
2000-09-11 ago added THIS;
2000-09-03 ago GPLed;
1998-12-17 ago bash -c :;
1997-04-22 ago removed -norc;
1997-03-07 ago moved settings comment to build;
1997-02-17 ago manual steps comment;
1997-02-17 ago configure - adapt Isabelle distribution to system environment