diff options
author | Makarius Wenzel <makarius@sketis.net> | 2007-11-20 16:22:01 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2007-11-20 16:22:01 +0000 |
commit | 7cd8ffc02b605ae4af74570d8c912bae1b1763b3 (patch) | |
tree | f5c2f8943309ae2f135635d37ea1354d86457820 /isar/interface | |
parent | ad101c11589d26a8b93ecace6aeb7ea447f276d2 (diff) |
clarify that -U now defaults to true;
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 47af652f..c9568c29 100644 --- a/isar/interface +++ b/isar/interface @@ -23,7 +23,7 @@ usage() echo " -L NAME abbreviates -l NAME -k NAME" echo " -P BOOL actually start Proof General (default true), otherwise" echo " run plain tty session" - echo " -U BOOL enable Unicode (UTF-8) communication (default false)" + echo " -U BOOL enable Unicode (UTF-8) communication (default true)" echo " -X BOOL configure the X-Symbol package on startup (default true)" echo " -f SIZE set X-Symbol font size (default 12)" echo " -g GEOMETRY specify Emacs geometry" |