lib/Tools/findlogics
2009-11-28 wenzelm 2009-11-28 proper quoting of array expansion -- allow spaces in components;
2009-08-22 wenzelm 2009-08-22 less ambitious array operations -- for improved compatibility with older versions of bash;
2009-08-22 wenzelm 2009-08-22 function splitarray: splightly more abstract version that accomodates older bashes;
2009-08-04 wenzelm 2009-08-04 change IFS only locally -- thanks to bash arrays;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-06-14 wenzelm 2008-06-14 removed obsolete ML_SUFFIX;
2005-10-08 wenzelm 2005-10-08 support ML_SUFFIX;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-02-06 wenzelm 1997-02-06 removed getplatform;
1996-12-09 wenzelm 1996-12-09 findlogics: collect heap names from ISABELLE_PATH;