WARNING message about pending changes

1 files changed, 21 insertions, 0 deletions

diff --git a/todo b/todo
index 2411dd05..831efe57 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,27 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* WARNING WARNING WARNING
+
+    Changes pending in proof-script.el, proof-shell.el:
+
+     proof-check-process-available
+
+    will be replaced by *two* functions
+ 
+     proof-activate-scripting
+     proof-shell-ready-prover
+
+    Do not edit this function!
+
+
+A* Fixup for non-script buffer locking:
+
+    proof-locked-end called from wrong buffer when error message
+    is output.
+
+    proof-restart-script is now broken
+
 A* Fixup for clean byte compile now that proof.el has been split.
 
 A* Fixup multiple files -- needs debugging.