From af91d6faa382319ae6a705198189cd9b8ab6c014 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 17 Jul 2017 22:12:59 +0100
Subject: [PATCH] Include Isabelle plugin in fpath.

---
 logicalhacking.zsh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/logicalhacking.zsh b/logicalhacking.zsh
index f332329..01170f9 100644
--- a/logicalhacking.zsh
+++ b/logicalhacking.zsh
@@ -25,3 +25,5 @@
 
 basedir=`dirname $0:A`
 source $basedir/plugins/isabelle/isabelle.plugin.zsh
+fpath=($basedir/plugins/isabelle $fpath)
+