From 7cd8ffc02b605ae4af74570d8c912bae1b1763b3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 20 Nov 2007 16:22:01 +0000
Subject: clarify that -U now defaults to true;

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

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"
-- 
cgit v1.2.3