src/Pure/Admin/other_isabelle.scala

--- a/src/Pure/Admin/other_isabelle.scala	Wed Mar 31 21:44:29 2021 +0200
+++ b/src/Pure/Admin/other_isabelle.scala	Wed Mar 31 22:10:56 2021 +0200
@@ -11,7 +11,7 @@
 {
   def apply(isabelle_home: Path,
       isabelle_identifier: String = "",
-      user_home: Path = Path.explode("$USER_HOME"),
+      user_home: Path = Path.USER_HOME,
       progress: Progress = new Progress): Other_Isabelle =
     new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress)
 }