diff --git a/plugins/isabelle/isabelle.plugin.zsh b/plugins/isabelle/isabelle.plugin.zsh index bf8b329..2190a22 100755 --- a/plugins/isabelle/isabelle.plugin.zsh +++ b/plugins/isabelle/isabelle.plugin.zsh @@ -72,7 +72,7 @@ isabelle-list-sessions() { roots=("${(f)roots}") for d in $roots; do d="${d//\"/}" #" - isabelle-list-sessions "$d" + isabelle-list-sessions "$dir/$d" done fi }