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
Wed, 30 Mar 2016 21:33:48 +0200
changeset 62769 146945b9e83c
parent 62768 5f5f11ee4d37
child 62770 6e6cacf8fe50
tuned message;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Wed Mar 30 21:16:22 2016 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Mar 30 21:33:48 2016 +0200
@@ -417,6 +417,6 @@
     def heap(name: String): Path =
       find_heap(name) getOrElse
         error("Unknown logic " + quote(name) + " -- no heap file found in:\n" +
-          cat_lines(input_dirs.map(dir => "  " + dir.implode)))
+          cat_lines(input_dirs.map(dir => "  " + dir.expand.implode)))
   }
 }
isabelle