From 1943f0d4fe2a6c54e911a3cadf20b4b36d06c02c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 14:27:18 +0000
Subject: More notes about x-sym fixes

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

diff --git a/todo b/todo
index ed0d2f76..8098e1ce 100644
--- a/todo
+++ b/todo
@@ -60,6 +60,9 @@ A Final stuff for 3.0 release [da]:
 D X-Symbol improvements: see if we can get support for 
   proof-xsym-extra-modes outside PG (just by loading proof-site).
   Will be handy for Isabelle's .itex Isabelle-LaTeX files.
+  Then we can parameterise more of the xsym support, and
+  remove spurious settings of calculated stuff from
+  x-symbol-isa.el  (see FIXME comments in v3.1 there).
 
 D Strange problem when running in tty mode: c-c c-RET seems to be
   impossible to type.  Consider binding C-c RET instead when
-- 
cgit v1.2.3