lib/Tools/getenv
changeset 2734 e9bbef1b2fbe
parent 2733 1d1013313201
child 3007 e5efa177ee0c
     1.1 --- a/lib/Tools/getenv	Wed Mar 05 17:13:56 1997 +0100
     1.2 +++ b/lib/Tools/getenv	Wed Mar 05 17:15:31 1997 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# DESCRIPTION: get value from Isabelle settings
     1.8 +# DESCRIPTION: get values from Isabelle settings environment
     1.9  
    1.10  
    1.11  ## diagnostics