# HG changeset patch
# User wenzelm
# Date 1440172794 -7200
# Node ID 65cbc1abfc549a10ecf9425914f24fa254cc47f2
# Parent  25e8efae71d7323c977d6b0dd023a3f0943b12bb
eliminated WinRun4J artifact;
tuned;

diff -r 25e8efae71d7 -r 65cbc1abfc54 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Fri Aug 21 17:53:10 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Aug 21 17:59:54 2015 +0200
@@ -225,23 +225,11 @@
     {
       val isabelle_home = Isabelle_System.getenv("ISABELLE_HOME")
       val isabelle_home_user = Isabelle_System.getenv("ISABELLE_HOME_USER")
-      val upd =
-        if (Platform.is_windows)
-          List(
-            "ISABELLE_HOME" -> File.platform_path(isabelle_home),
-            "ISABELLE_HOME_USER" -> File.platform_path(isabelle_home_user),
-            "INI_DIR" -> "")
-        else
-          List(
-            "ISABELLE_HOME" -> isabelle_home,
-            "ISABELLE_HOME_USER" -> isabelle_home_user)
 
       (env0: Any) => {
         val env = env0.asInstanceOf[java.util.Map[String, String]]
-        upd.foreach {
-          case (x, "") => env.remove(x)
-          case (x, y) => env.put(x, y)
-        }
+        env.put("ISABELLE_HOME", File.platform_path(isabelle_home))
+        env.put("ISABELLE_HOME_USER", File.platform_path(isabelle_home_user))
       }
     }