# HG changeset patch
# User wenzelm
# Date 1534330968 -7200
#      Wed Aug 15 13:02:48 2018 +0200
# Node ID f95e2f145ea5350bc161cc789dcb1b04b73915ef
# Parent  64fb127e33f785f201b9c6cc3c893eca539301c5
canonical session directories in correspondence to Known.files;

diff -r 64fb127e33f7 -r f95e2f145ea5 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Sun Aug 12 14:31:46 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Aug 15 13:02:48 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,