diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-02-01 13:38:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-01 13:38:00 +0000 |
| commit | 9375b371036a5e67ab10072ea22332e4a62ff685 (patch) | |
| tree | 95d81f4618a2f7f7f8d74d2c25f39ce89f6948b0 | |
| parent | cae6a9ec9f75a34b990ff1beb59f6bd9aaaab73b (diff) | |
FAQ #1 typo
| -rw-r--r-- | FAQ | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -10,8 +10,8 @@ Please also check the BUGS file. Q. Emacs appears to hang when the prover process is started. -A. Perhaps this because of UTF-8 in recent linuxes with glibc 2.2 or later - (e.g in Red Hat 8.0, 9, Fedora Core 1,2, Suse 9.1, ...) +A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later + (e.g in Red Hat 8.0, 9, Fedora Core 1,2,3, Suse 9.1, ...) Glibc 2.2 and later may be enabled with UTF8 encoded output in your default locale. Unfortunately Proof General relies on 8-bit @@ -32,7 +32,8 @@ A. Perhaps this because of UTF-8 in recent linuxes with glibc 2.2 or later the string UTF in the current value of LC_CTYPE. Alternatively you can set LC_CTYPE inside a file ~/.i18n, which will - be read the shell. This will affect all applications, though. + be read the shell. Put a line such as "LC_CTYPE=en_GB" into this file. + However, this action will affect all applications. [ suggestions for a better workaround inside Emacs would be welcome ] NB: a related issue is warnings from x-symbol: "Emacs language |