src/Pure/Admin/other_isabelle.scala

--- a/src/Pure/Admin/other_isabelle.scala	Wed Dec 05 23:20:55 2018 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Thu Dec 06 00:24:21 2018 +0100
@@ -13,7 +13,7 @@
       isabelle_identifier: String = "",
       user_home: Path = Path.explode("$USER_HOME"),
       progress: Progress = No_Progress): Other_Isabelle =
-    new Other_Isabelle(isabelle_home.absolute, isabelle_identifier, user_home, progress)
+    new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress)
 }
 
 class Other_Isabelle(