1 files changed, 10 insertions, 0 deletions
diff --git a/todo b/todo
index 34b214df..50f615d3 100644
--- a/todo
+++ b/todo
@@ -36,6 +36,16 @@ B Keybindings for processing theory in thy mode gone??
 
 ** 2. Things to in the generic interface
 
+*** B Move 3.3 over to new better designed parsing function mechanism.
+
+*** D some renaming for uniformity: 
+
+     proof-comment-start -> proof-script-comment-start, ditto end
+
+*** B Generalize electric terminator mode for other parsing mechanisms.
+
+*** B Add parameter for help function so HOL help works nicely
+
 *** B Make tags support in lego.el and coq.el a bit more generic.
   Use customization option proof-tags-support.