# 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 =