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 /FAQ | |
| parent | d74950e260914b56787138cca662ada9170533d8 (diff) | |
Note about proof-shell-unicode setting.
Diffstat (limited to 'FAQ')
| -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: |