NEWS
changeset 47661 012a887997f3
parent 47659 e3c4d1b0b351
child 47673 dd253cfa5b23
     1.1 --- a/NEWS	Sun Apr 22 11:05:04 2012 +0200
     1.2 +++ b/NEWS	Sun Apr 22 14:30:18 2012 +0200
     1.3 @@ -869,6 +869,14 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* USER_HOME settings variable points to cross-platform user home
     1.8 +directory, which coincides with HOME on POSIX systems only.  Likewise,
     1.9 +the Isabelle path specification "~" now expands to $USER_HOME, instead
    1.10 +of former $HOME.  A different default for USER_HOME may be set
    1.11 +explicitly in shell environment, before Isabelle settings are
    1.12 +evaluated.  Minor INCOMPATIBILITY: need to adapt Isabelle path where
    1.13 +the generic user home was intended.
    1.14 +
    1.15  * ISABELLE_JDK_HOME settings variable points to JDK with javac and jar
    1.16  (not just JRE).
    1.17