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 /isar/interface | |
| parent | 573fa23c9a08eb0a0e9e9b2573363f86339166e5 (diff) | |
prefer emacs over xemacs, which rarely works out of the box;
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 4 |
1 files changed, 2 insertions, 2 deletions
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="" |