diff options
Diffstat (limited to '')
| -rw-r--r-- | .zsh/functions/IE | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/.zsh/functions/IE b/.zsh/functions/IE index d7832fd..c65c93b 100644 --- a/.zsh/functions/IE +++ b/.zsh/functions/IE @@ -1,7 +1,13 @@ -# default arguments to isabelle emacs -readonly defargs="-x true -m iff" readonly default="HOL" -local file logic +local file logic program defargs + +if [[ $0 == "IJ" ]]; then + program="jedit" + defargs="" +else + program="emacs" + defargs="-x true -m iff" +fi # safety check to avoid failing later on if [[ ! -x =isabelle ]]; then @@ -70,6 +76,6 @@ if [[ -z $logic ]]; then fi # AAAAND ... FIRE! -isabelle emacs ${=defargs} "$@" -l $logic $file +isabelle ${program} ${=defargs} "$@" -l $logic $file # vim: ft=zsh |