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

---
 FAQ | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index b564c5a3..dc830f49 100644
--- a/FAQ
+++ b/FAQ
@@ -47,6 +47,14 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later
    Notice that the variable `buffer-file-coding-system' may determine
    the format that files are saved in.  
 
+   UPDATE for PG Version 3.6:
+
+   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.
+  
+
 -----------------------------------------------------------------
 
 Q. Proof General fails to load with an error message on start-up: 
-- 
cgit v1.2.3