build
1997-04-11 ago fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-07 ago added -t (run tests) option;
1997-04-04 ago improved messages;
1997-04-04 ago added -b option (batch mode);
1997-04-02 ago misc improvements;
1997-03-11 ago major tuning;
1997-03-11 ago added THIS_IS_ISABELLE_BUILD;
1997-03-07 ago fixed src path;
1997-03-07 ago tuned comment;
1997-03-07 ago build - compile parts of the Isabelle system;