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.
merged
authorwenzelm
Wed, 15 Aug 2018 13:21:14 +0200
changeset 68747 bc6717bd2912
parent 68745 345ce5f262ea (current diff)
parent 68746 f95e2f145ea5 (diff)
child 68749 714faa6ddd10
merged
--- a/src/Pure/Thy/sessions.scala	Tue Aug 14 16:05:40 2018 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Aug 15 13:21:14 2018 +0200
@@ -882,7 +882,8 @@
   def directories(dirs: List[Path], select_dirs: List[Path]): List[(Boolean, Path)] =
   {
     val default_dirs = Isabelle_System.components().filter(is_session_dir(_))
-    (default_dirs ::: dirs).map((false, _)) ::: select_dirs.map((true, _))
+    for { (select, dir) <- (default_dirs ::: dirs).map((false, _)) ::: select_dirs.map((true, _)) }
+    yield (select, dir.canonical)
   }
 
   def load_structure(options: Options,
isabelle