diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-05-11 12:35:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-05-11 12:35:03 +0000 |
commit | c20b6035fee8969195c53350a24b038cc76cc482 (patch) | |
tree | 4214014680a182831ab98f48009d54cec649ea81 | |
parent | d74950e260914b56787138cca662ada9170533d8 (diff) |
Note about proof-shell-unicode setting.
-rw-r--r-- | FAQ | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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: |