# HG changeset patch
# User wenzelm
# Date 1544052261 -3600
# Node ID fb26935838c7885fb5e9e33708869a3e95c40501
# Parent  7742cace5dd98be65731b522c363ad839387f15b
more robust, notably for macos /var vs. /private/var;

diff -r 7742cace5dd9 -r fb26935838c7 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(