From 8a355fa71f560c828a7d0d1f48034679791f526f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 15 Apr 2004 23:02:38 +0000 Subject: Comments. --- generic/proof-shell.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 557c8557..7927c22b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -295,10 +295,10 @@ Does nothing if proof assistant is already running." ;; PG 3.5: adjust the LANG variable to remove UTF-8 ;; encoding that may be there. This fix is targeted at RH - ;; 8 which has glibc 2.2, unicode encoding by default. - ;; FIXME: unfortunately this fix doesn't work; it's - ;; not enough to alter process-environment to effect - ;; a locale change. In bash, LANG=x works though. + ;; 8 and later which has glibc 2.2, unicode encoding by + ;; default. FIXME: unfortunately this fix doesn't work; + ;; it's not enough to alter process-environment to effect + ;; a locale change. In bash, LANG=x works though. (process-environment (if (not proof-shell-wakeup-char) ;; if specials not used, process-environment ;; leave it alone -- cgit v1.2.3