# HG changeset patch
# User wenzelm
# Date 1624876140 -7200
# Node ID 9c2dd041477b53d585512fa31fc81680e105ea6b
# Parent  0a12ca4f3e8d5345f6c96803ef828aa364076bbf
clarified environment (amending 9444489766a1);

diff -r 0a12ca4f3e8d -r 9c2dd041477b src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Jun 26 20:55:43 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon Jun 28 12:29:00 2021 +0200
@@ -108,7 +108,7 @@
             default(sys.env + ("ISABELLE_JDK_HOME" -> File.standard_path(jdk_home())),
               "TEMP_WINDOWS" -> temp_windows),
             "HOME" -> user_home),
-          "ISABELLE_APP" -> "true")
+          "ISABELLE_APP" -> isabelle_app)
       }
 
       val settings =