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.
tuned message;
authorwenzelm
Thu, 09 Sep 2021 14:05:31 +0200
changeset 74268 d01920a8b082
parent 74267 5c110ac28dcf
child 74269 f084d599bb44
tuned message;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Thu Sep 09 13:47:29 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Sep 09 14:05:31 2021 +0200
@@ -111,7 +111,7 @@
   def isabelle_id(root: Path = Path.ISABELLE_HOME): String =
     getetc("ISABELLE_ID", root = root) orElse Mercurial.archive_id(root) getOrElse {
       if (Mercurial.is_repository(root)) Mercurial.repository(root).parent()
-      else error("Failed to identify Isabelle distribution " + root)
+      else error("Failed to identify Isabelle distribution " + root.expand)
     }
 
   object Isabelle_Id extends Scala.Fun_String("isabelle_id")
isabelle