build
2010-11-28 huffman remove HOLCF from build script, since it no longer works
2010-01-04 wenzelm discontinued special HOL_USEDIR_OPTIONS;
2008-12-20 wenzelm removed Ids;
2008-10-04 wenzelm replaced ISATOOL by ISABELLE_TOOL;
2008-03-06 wenzelm removed obsolete THIS_IS_ISABELLE_BUILD feature: change environment after getsettings (works due to static scoping);
2005-12-01 wenzelm replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash;
2005-09-26 wenzelm echo HOL_USERDIR_OPTIONS;
2005-09-21 wenzelm echo HOL_USEDIR_OPTIONS;
2005-05-17 wenzelm proper treatment of directory links;
2005-04-28 wenzelm make symlink handling compatible with whitespaces
2005-04-26 wenzelm improved handling of symlinks;
2005-04-20 quigley Removed remaining references to Main.thy in reconstruction code.
2004-06-21 kleing Merged in license change from Isabelle2004
2003-06-02 kleing remove -p option, separate setting available
2003-05-23 kleing make it possible to switch off proof objects
2000-11-30 wenzelm /usr/bin/env bash;
2000-11-22 wenzelm tuned;
2000-09-03 wenzelm GPLed;
2000-09-01 wenzelm GPLed;
1999-10-20 wenzelm option -m TARGET;
1999-10-07 wenzelm unset ISABELLE_SETTINGS_PRESENT;
1999-08-20 wenzelm echo ML_PLATFORM;
1999-08-19 wenzelm improved messages;
1999-02-08 wenzelm -i option;
1998-08-27 wenzelm fixed ISABELLE_USEDIR_OPTIONS;
1998-08-27 wenzelm tuned;
1998-01-19 wenzelm make images;
1997-12-19 wenzelm tuned;
1997-05-20 wenzelm fixed bash path;
1997-05-14 wenzelm renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-04-22 wenzelm removed -norc;
1997-04-11 wenzelm fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-07 wenzelm added -t (run tests) option;
1997-04-04 wenzelm improved messages;
1997-04-04 wenzelm added -b option (batch mode);
1997-04-02 wenzelm misc improvements;
1997-03-11 wenzelm major tuning;
1997-03-11 wenzelm added THIS_IS_ISABELLE_BUILD;
1997-03-07 wenzelm fixed src path;
1997-03-07 wenzelm tuned comment;
1997-03-07 wenzelm build - compile parts of the Isabelle system;
less more (0) tip