equal
deleted
inserted
replaced
106 default( |
106 default( |
107 default( |
107 default( |
108 default(sys.env + ("ISABELLE_JDK_HOME" -> File.standard_path(jdk_home())), |
108 default(sys.env + ("ISABELLE_JDK_HOME" -> File.standard_path(jdk_home())), |
109 "TEMP_WINDOWS" -> temp_windows), |
109 "TEMP_WINDOWS" -> temp_windows), |
110 "HOME" -> user_home), |
110 "HOME" -> user_home), |
111 "ISABELLE_APP" -> "true") |
111 "ISABELLE_APP" -> isabelle_app) |
112 } |
112 } |
113 |
113 |
114 val settings = |
114 val settings = |
115 { |
115 { |
116 val dump = JFile.createTempFile("settings", null) |
116 val dump = JFile.createTempFile("settings", null) |