From 3812725e6dc8911f6112909e3c814993d3e37ded Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 15:53:46 +0000
Subject: Note about x-symbol warning on locale.

---
 todo | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/todo b/todo
index 685f3218..c64d7ea2 100644
--- a/todo
+++ b/todo
@@ -7,10 +7,14 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 * THINGS TO DO BEFORE 3.5 RELEASE
 
-*** Spam-protect email addresses on web pages
+*** x-symbol warning:
+     Emacs language environment and system locale specify different encoding, I'll assume `iso-8859-1'
+    I have /etc/sysconfig/i18n containing  LANG="en_GB.iso885915"
+    (setq-default buffer-file-coding-system 'iso-8859-15) prevents warning,
+    but should we assume a default format for proof assistants?
+    (NB: normal default seems to be iso-2022-8)
 
-*** Can we do anything about clash between bundled x-symbol and
-     system-wide version??
+*** Spam-protect email addresses on web pages
 
 *** Fixup HTML on mailing list pages
 
-- 
cgit v1.2.3