# HG changeset patch
# User wenzelm
# Date 1335273792 -7200
# Node ID 447b635bcea5ae6dfa17916fc6e7066282cfc0d2
# Parent  bafe6c0cbab460457b04e1ce53f7a8cec579ea4f
cold-start HOME is user.home, in accordance with Cygwin-Terminal.bat;

diff -r bafe6c0cbab4 -r 447b635bcea5 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Apr 24 15:07:49 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Tue Apr 24 15:23:12 2012 +0200
@@ -50,9 +50,14 @@
       val standard_system = new Standard_System
       val settings =
       {
-        val env = Map(System.getenv.toList: _*) +
+        val env0 = Map(System.getenv.toList: _*) +
           ("ISABELLE_JDK_HOME" -> standard_system.this_jdk_home())
 
+        val user_home = System.getProperty("user.home")
+        val env =
+          if (user_home == null || env0.isDefinedAt("HOME")) env0
+          else env0 + ("HOME" -> user_home)
+
         val isabelle_home =
           if (this_isabelle_home != null) this_isabelle_home
           else