Updated

1 files changed, 6 insertions, 15 deletions

diff --git a/todo b/todo
index c4dd6548..43c6219d 100644
--- a/todo
+++ b/todo
@@ -38,7 +38,8 @@ X (Low)		e.g. probably not worth spending time on
 
 ** Isabelle regexp overflow problem on proof-shell-proof-completed-regexp
 ** Solaris ^G problem and FSF Emacs mule/non-mule support
-** Recognition of ; only at eol (DvO reported bug)
+** Recognition of ; only at eol (DvO reported bug here, shouldn't happen)
+** Web page: add notify when updated option
 
 
 * Scheduled improvements for 3.2
@@ -54,6 +55,10 @@ X (Low)		e.g. probably not worth spending time on
 * Things to in the generic interface
 ====================================
 
+C More flexible help configuration is needed.  HOL has some nice
+  on-line help but no way in PG to help by library.  Perhaps
+  a help browser is needed?
+
 B Manual improvements before techreport publishing (see notes at end also):
   - Mention configuring function menus, outline.
   - Consider splitting up chapter 9?
@@ -65,24 +70,10 @@ B Manual improvements before techreport publishing (see notes at end also):
   - add screenshots?
   - add more index entries
 
-C X-Symbol support for theory files: bugs at the moment, because
-  of duplicate calls to proof-x-symbol-mode and mess with
-  font-lock initialization.  Problem with current version:
-  visit a.thy, b.thy then turn on xsym.  Broken in b.thy.
-  Seems okay visiting new buffers after that.
-  Must also check interaction with xsym-isa-latex stuff
-  may be broken by removal of mode hook settings.
-  [DvO reports okay].
-  (May need to split extra modes into two parts?)
-
 C Investigate support under Mule.  Suggestion we need to set
   process-coding-system-alist somehow to prevent coding.
   What about Mew ?
 
-C Investigate fix for looping rewriting in Isabelle.  Continual
-  and frequent messages from the prover lock out the user.
-  Is there any easy way of fixing this?
-  
 D Change the name of "automatic multiple files" to something
   more comprehensible.