lib/scripts/getsettings
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-03-06 wenzelm 1997-03-06 added ISABELLE_HOME normalization;
1997-02-17 wenzelm 1997-02-17 tuned comments;
1997-02-14 wenzelm 1997-02-14 globally unset ENV, BASH_ENV;
1997-02-06 wenzelm 1997-02-06 integrated getplatform stuff; added ISABELLE_OUTPUT_DIR;
1997-01-07 wenzelm 1997-01-07 added ISABELLE, ISATOOL;
1996-12-17 wenzelm 1996-12-17 improved error handling;
1996-12-09 wenzelm 1996-12-09 *** empty log message ***
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-02 wenzelm 1996-12-02 getsettings: bash source script to augment current env.