build
2003-06-02 kleing 2003-06-02 remove -p option, separate setting available
2003-05-23 kleing 2003-05-23 make it possible to switch off proof objects
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-03 wenzelm 2000-09-03 GPLed; show targets;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-10-20 wenzelm 1999-10-20 option -m TARGET;
1999-10-07 wenzelm 1999-10-07 unset ISABELLE_SETTINGS_PRESENT;
1999-08-20 wenzelm 1999-08-20 echo ML_PLATFORM;
1999-08-19 wenzelm 1999-08-19 improved messages;
1999-02-08 wenzelm 1999-02-08 -i option;
1998-08-27 wenzelm 1998-08-27 fixed ISABELLE_USEDIR_OPTIONS;
1998-08-27 wenzelm 1998-08-27 tuned; added ISABELLE_USEDIR_OPTIONS;
1998-01-19 wenzelm 1998-01-19 make images;
1997-12-19 wenzelm 1997-12-19 tuned;
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;