lib/Tools/getenv
2016-04-03 wenzelm 2016-04-03 clarified usage;
2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2012-04-22 wenzelm 2012-04-22 more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe);
2009-06-07 wenzelm 2009-06-07 isabelle getenv: option -d;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2005-09-01 wenzelm 2005-09-01 refrain from sorting output;
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-11-22 wenzelm 2000-11-22 tuned;
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-03-05 wenzelm 1997-03-05 improved DESCRIPTION;
1997-03-05 wenzelm 1997-03-05 added -a, -b options; multiple VARNAMES;
1996-12-09 wenzelm 1996-12-09 added -norc option;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-02 wenzelm 1996-12-02 getenv: get value from Isabelle settings.