From 2ecf068cd43b41c11fde59a746cc4b9699458b33 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 17:57:03 +0000
Subject: WARNING message about pending changes

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

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.
-- 
cgit v1.2.3