From d0c07033ee165a99d8e4aaee1f0ab8868f36ec2c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 30 Aug 2005 14:22:47 +0000
Subject: prefer emacs over xemacs, which rarely works out of the box;

---
 isa/interface  | 4 ++--
 isar/interface | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/isa/interface b/isa/interface
index a8821897..2aa41fc6 100644
--- a/isa/interface
+++ b/isa/interface
@@ -36,7 +36,7 @@ usage()
   echo "    -k NAME      use specific isar-keywords for named logic"
   echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -m MODE      add print mode for output"
-  echo "    -p NAME      Emacs program name (default xemacs)"
+  echo "    -p NAME      Emacs program name (default emacs)"
   echo "    -u BOOL      use personal .emacs file (default true)"
   echo "    -w BOOL      use window system (default true)"
   echo "    -x BOOL      enable the X-Symbol package on startup (default false)"
@@ -65,7 +65,7 @@ START_PG="true"
 GEOMETRY=""
 KEYWORDS=""
 LOGIC="$ISABELLE_LOGIC"
-PROGNAME="xemacs"
+PROGNAME="emacs"
 INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
diff --git a/isar/interface b/isar/interface
index a8821897..2aa41fc6 100644
--- a/isar/interface
+++ b/isar/interface
@@ -36,7 +36,7 @@ usage()
   echo "    -k NAME      use specific isar-keywords for named logic"
   echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -m MODE      add print mode for output"
-  echo "    -p NAME      Emacs program name (default xemacs)"
+  echo "    -p NAME      Emacs program name (default emacs)"
   echo "    -u BOOL      use personal .emacs file (default true)"
   echo "    -w BOOL      use window system (default true)"
   echo "    -x BOOL      enable the X-Symbol package on startup (default false)"
@@ -65,7 +65,7 @@ START_PG="true"
 GEOMETRY=""
 KEYWORDS=""
 LOGIC="$ISABELLE_LOGIC"
-PROGNAME="xemacs"
+PROGNAME="emacs"
 INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
-- 
cgit v1.2.3