aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-13 15:53:46 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-13 15:53:46 +0000
commit3812725e6dc8911f6112909e3c814993d3e37ded (patch)
treefd95015d1d1bfd3bebf2fddfb1a7606a0c2c0fd3 /todo
parentbee3d443019692c8c67edf1b0ae5895171bc8ecd (diff)
Note about x-symbol warning on locale.
Diffstat (limited to 'todo')
-rw-r--r--todo10
1 files 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