# HG changeset patch
# User wenzelm
# Date 1534332074 -7200
# Node ID bc6717bd2912ec89212ca3dd8a847683852f3f23
# Parent  345ce5f262eafe85216a9c93f92d46fb895988b2# Parent  f95e2f145ea5350bc161cc789dcb1b04b73915ef
merged

diff -r 345ce5f262ea -r bc6717bd2912 src/Pure/Thy/sessions.scala
--- 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,