Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified environment (amending 9444489766a1);
authorwenzelm
Mon, 28 Jun 2021 12:29:00 +0200
changeset 73888 9c2dd041477b
parent 73884 0a12ca4f3e8d
child 73889 5ec68c1a07d8
clarified environment (amending 9444489766a1);
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle