diff options
-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="" |