aboutsummaryrefslogtreecommitdiffhomepage
path: root/FAQ
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2006-05-11 12:35:30 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2006-05-11 12:35:30 +0000
commit06cfab8601ccb810795ea3a7439c795c81a24c89 (patch)
treeb9d26af6d40639d39c2cb39f740802468887914d /FAQ
parentc20b6035fee8969195c53350a24b038cc76cc482 (diff)
Note about proof-shell-unicode setting.
Diffstat (limited to 'FAQ')
-rw-r--r--FAQ3
1 files changed, 2 insertions, 1 deletions
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.
-----------------------------------------------------------------