lib/Tools/getenv
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.