diff options
author | 2006-08-23 18:38:57 +0000 | |
---|---|---|
committer | 2006-08-23 18:38:57 +0000 | |
commit | 2b6638777c924aabbfe95f4b765de9951448a0f0 (patch) | |
tree | c3eceeb96eedd6773b84e305c884addd06d06e22 /FAQ | |
parent | e0145fc17a0d7a649995962dbc66f0122bdfecc6 (diff) |
Tweak to FAQ#1
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -32,10 +32,10 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later by default is "en_GB.UTF-8": I see this by typing "locale" at the prompt). - This is fixed in the development version of Proof General: the - supplied proofgeneral script makes an adjustment if it sees - the string UTF in the current value of LC_CTYPE and an adjustment - is made inside the Emacs environment. + This is fixed in the startup shell script in recent development + versions of Proof General: the supplied "proofgeneral" script makes an + adjustment if it sees the string UTF in the current value of + LC_CTYPE and an adjustment is made inside the Emacs environment. Alternatively you can set LC_CTYPE inside a file ~/.i18n, which will be read the shell. Put a line such as "LC_CTYPE=en_GB" into this file. |