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