diff options
| -rw-r--r-- | .zsh/functions/IE | 14 | ||||
| l--------- | .zsh/functions/IJ | 1 |
2 files changed, 11 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 diff --git a/.zsh/functions/IJ b/.zsh/functions/IJ new file mode 120000 index 0000000..ae92333 --- /dev/null +++ b/.zsh/functions/IJ @@ -0,0 +1 @@ +IE
\ No newline at end of file |