From 566d32e82470cdcbb7fef2d88d10d1f08f91c928 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 17:55:37 +0000
Subject: Updated

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

(limited to 'todo')

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