diff options
author | Makarius Wenzel <makarius@sketis.net> | 2008-01-25 20:55:05 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2008-01-25 20:55:05 +0000 |
commit | 42d587525fb8558e0a15515e18bddcdff802d938 (patch) | |
tree | 60bea30976ff17c354822603dd5c92e46a824322 /isar/interface | |
parent | 87901fbab283f3778dea744934ce3a35618b0bbb (diff) |
fixed usage: default for option -p is emacs, not xemacs;
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index f7d31ba7..85d4d413 100644 --- a/isar/interface +++ b/isar/interface @@ -30,7 +30,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)" |