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