From 573d055d52c650389f122ddfa1de59d442f05feb Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Jan 2008 20:15:42 +0000
Subject: Default to using emacs now

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index c9568c29..f7d31ba7 100644
--- a/isar/interface
+++ b/isar/interface
@@ -60,7 +60,7 @@ START_PG="true"
 GEOMETRY=""
 KEYWORDS=""
 LOGIC="$ISABELLE_LOGIC"
-PROGNAME="xemacs"
+PROGNAME="emacs"
 INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
-- 
cgit v1.2.3