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)
+