From 90b42bf1a93a6b32a371d8d1ac18e27c7046ade4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Oct 1998 16:45:31 +0000
Subject: Added todo for next/previous functions.

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

diff --git a/todo b/todo
index d532bb78..d5c4b43e 100644
--- a/todo
+++ b/todo
@@ -47,6 +47,9 @@ B toolbar icons: Automatically generate reduced and
 B Better support for adding a new prover: give error messages which
   hint at what variable to set (see proof-issue-goal for example).
 
+B Functions for next,previous input a la shell mode, but in proof
+  script buffer (3h, da).
+
 X Read-only mode of extents sometimes gets in the way: for example,
   if file changes on disk, can't reload it via usual functions.
   Can this be improved?  Always have to retract first, and that
-- 
cgit v1.2.3