From 3eb07b516bad23f217506f64944b77769e9fcc7d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 16 Jul 2017 11:53:24 +0100
Subject: [PATCH] Added support for ROOTS file in isabelle-list-sessions().

---
 plugins/isabelle/isabelle.plugin.zsh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/plugins/isabelle/isabelle.plugin.zsh b/plugins/isabelle/isabelle.plugin.zsh
index 604ca75..bf8b329 100755
--- a/plugins/isabelle/isabelle.plugin.zsh
+++ b/plugins/isabelle/isabelle.plugin.zsh
@@ -66,7 +66,14 @@ isabelle-list-sessions() {
         done
         print -l $accum
     fi
-    if [[ -f ROOTS ]]; then
+    if [[ -f "$dir/ROOTS" ]]; then
+        roots="$(<$dir/ROOTS)"
+        roots=$( isabelle-strip-comments "$roots" )
+        roots=("${(f)roots}")
+        for d in $roots; do
+            d="${d//\"/}" #"
+            isabelle-list-sessions "$d"
+        done
     fi
 }