summaryrefslogtreecommitdiff
path: root/.zsh/functions/IE
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.zsh/functions/IE14
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