From 3439bdcb47f41a06d2d6568defc7bbc11c262058 Mon Sep 17 00:00:00 2001
From: René Neumann <rene.neumann@in.tum.de>
Date: Mon, 21 Nov 2011 14:46:34 +0100
Subject: Added support for jedit.

---
 .zsh/functions/IE | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

(limited to '.zsh/functions/IE')

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
-- 
cgit v1.2.3-70-g09d2