From 6bfc79cfb1b4a64742c8bfb574bc1549fffc107e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Feb 2003 10:39:32 +0000
Subject: Updated.

---
 todo | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/todo b/todo
index 881abfb0..99720d67 100644
--- a/todo
+++ b/todo
@@ -11,10 +11,17 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
      -- remove on/off setting for all buffers (too slow), use
         same mechanism as proof-mmm.
 
-*** Finish/cleanup MMM support for Isar.  Document (but who reads?)
+*** Finish/cleanup MMM support for Isar.  Document (but who reads it?)
     Add MMM for other provers where relevant
 
-
+*** Behaviour of X-Symbol and MMM options
+      -- should have "global" behaviour, but apply to future?
+      -- just have local behaviour, add extra option for global?
+      [confusion is that particular buffer may be different from global]
+      -- does it make sense simply to synchronize global with local
+	 whenever local is changed?  
+	  [maybe: turn it off, stays off in new buffers]
+ 
 * Proof General Infeasibly Long Low-Level List of Things to Do
 
 
-- 
cgit v1.2.3