diff options
author | Makarius Wenzel <makarius@sketis.net> | 2005-08-30 14:22:47 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2005-08-30 14:22:47 +0000 |
commit | d0c07033ee165a99d8e4aaee1f0ab8868f36ec2c (patch) | |
tree | 505586174944a6d5782e0d865bea80921e6bacd8 | |
parent | 573fa23c9a08eb0a0e9e9b2573363f86339166e5 (diff) |
prefer emacs over xemacs, which rarely works out of the box;
-rw-r--r-- | isa/interface | 4 | ||||
-rw-r--r-- | 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="" |