build
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-03-06 wenzelm 2008-03-06 removed obsolete THIS_IS_ISABELLE_BUILD feature: change environment after getsettings (works due to static scoping);
2005-12-01 wenzelm 2005-12-01 replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash;
2005-09-26 wenzelm 2005-09-26 echo HOL_USERDIR_OPTIONS;
2005-09-21 wenzelm 2005-09-21 echo HOL_USEDIR_OPTIONS;
2005-05-17 wenzelm 2005-05-17 proper treatment of directory links; tuned;
2005-04-28 wenzelm 2005-04-28 make symlink handling compatible with whitespaces
2005-04-26 wenzelm 2005-04-26 improved handling of symlinks; ALL_LOGICS: topological order; removed remains of deceased -p option; reverted accidental commit of user modification;
2005-04-20 quigley 2005-04-20 Removed remaining references to Main.thy in reconstruction code.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
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;