From 06cfab8601ccb810795ea3a7439c795c81a24c89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2006 12:35:30 +0000
Subject: Note about proof-shell-unicode setting.

---
 FAQ | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index dc830f49..679b6bfe 100644
--- a/FAQ
+++ b/FAQ
@@ -52,7 +52,8 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later
    Some provers have a Unicode-safe interaction mode.  You can set
    `proof-shell-unicode' to try to enable communication with the 
    prover which does not use non-ASCII 8-bit characters for markup.
-   This is supported in Isabelle > Isabelle 2005.
+   This is supported in Isabelle > Isabelle 2005.  Then the locale
+   setting will not matter.
   
 
 -----------------------------------------------------------------
-- 
cgit v1.2.3