1 files changed, 4 insertions, 0 deletions
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.