Updated

2 files changed, 9 insertions, 7 deletions

diff --git a/CHANGES b/CHANGES
index 18e2f227..709820a8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -174,11 +174,8 @@ Internal changes for developers to note
   proof assistants which do not have an explicit save command
   now.   See the documentation of proof-completed-proof-behaviour.
 
-* Renamed some configuration variables for uniformity:
-    proof-ctxt-string -> proof-context-command
-    proof-help-string -> proof-info-command
-    proof-prf-string  -> proof-showproof-command
-    proof-proof-general-home-page -> proof-general-home-page
+* Renamed several configuration variables for uniformity.  
+  Check the ChangeLog for details.
 
 * Speed optimizations for the proof-shell-filter, to attempt
   to give more CPU to a hungry and noisy proof process.
diff --git a/todo b/todo
index 4f2ee13b..ed0d2f76 100644
--- a/todo
+++ b/todo
@@ -41,14 +41,15 @@ X (Low)		probably not worth spending time on
 
 A Final stuff for 3.0 release [da]:
 
-  - proof-shell-done-invisible -> proof-done-invisible again
+  - something about possible extending queue bug  
+    (does it happen apart from first time round?)
   - name change for "automatic multiple files" stuff
-  - proof-auto-delete-windows -> proof-delete-empty-windows
   - See if better fix for FSF overlay mess
   - document mouse functions, proof-cd, process quit timeout, 
     X-Symbol, new menu functions for display.
   - Fixing up PBP: check documentation is roughly okay.
   - put demo paper on web pages, add more to it.
+  - finish documentation improvements
   - is there a welcome message for mailing list?
 
 
@@ -56,6 +57,10 @@ 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.
+
 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
   running on a console.