Include Isabelle plugin in fpath.

2017-07-17 22:12:59 +01:00 · 2017-07-17 22:12:59 +01:00 · af91d6faa3
parent 47a0efea1c
commit af91d6faa3
1 changed files with 2 additions and 0 deletions
--- 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)
+