diff options
author | Makarius Wenzel <makarius@sketis.net> | 2005-09-21 18:24:45 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-21 18:24:45 +0000 |
commit | fdf5ad46b2e2aabee385225f11f08b997a3a036a (patch) | |
tree | a637c7fbac955518b5d2b1053d975ebbebb984ff /isar | |
parent | 3a3a9ef316efb3bc2831e05e8495c46ce4e67be0 (diff) |
back to xemacs as default;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/interface | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/interface b/isar/interface index 94668f43..8b835b6b 100644 --- a/isar/interface +++ b/isar/interface @@ -37,7 +37,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 emacs)" + echo " -p NAME Emacs program name (default xemacs)" 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)" @@ -66,7 +66,7 @@ START_PG="true" GEOMETRY="" KEYWORDS="" LOGIC="$ISABELLE_LOGIC" -PROGNAME="emacs" +PROGNAME="xemacs" INITFILE="true" WINDOWSYSTEM="true" XSYMBOL="" |