From 776750c813a39954259f5eb098259b5c124afd8c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 19 Mar 2000 06:42:24 +0000
Subject: Updated

---
 TODO | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'TODO')

diff --git a/TODO b/TODO
index 3d61aad0..63b07257 100644
--- a/TODO
+++ b/TODO
@@ -22,6 +22,10 @@ Plans for upcoming 3.x versions
 
 * Support more proof assistants
 
+* New key bindings for prover specific commands.  
+  This will unfortunately result in changing some bindings, but make
+  room for more and avoid the user-reserved sequences C-c <letter>.
+
 * A more flexible way of choosing which instance of PG we want,
   allowing matches on the buffer before choosing the mode function.
 
-- 
cgit v1.2.3