From d8f53ff4fa3304175bf731099fbcb1e720729f43 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 21:49:42 +0000
Subject: Updated

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

(limited to 'TODO')

diff --git a/TODO b/TODO
index 4355d923..f163c797 100644
--- a/TODO
+++ b/TODO
@@ -14,7 +14,6 @@ proofgen@dcs.ed.ac.uk.  Thanks!
 Plans for upcoming versions
 ---------------------------
 
-
 * Support more proof assistants
 
 * Add a browser mode for browsing script files 
@@ -23,6 +22,12 @@ Plans for upcoming versions
 * More flexible goals buffer mode to allow menus of
   common proof commands.
 
+* Unified context (right-button) menu in and out of spans.
+  Including paste option and other editing commands.
+
+* Implement ideas in the Proof General White Paper. 
+  (See the Development section of the web page for a link).
+
 * A more flexible way of choosing which instance of PG we want,
   allowing matches on the buffer before choosing the mode function.
 
@@ -43,8 +48,5 @@ Plans for upcoming versions
   of proof assistants.  Alternative is to base markup of 
   undoable regions on proof assistant output or messages.
 
-* Implement ideas in the Proof General White Paper. 
-  (See the Development section of the web page for a link).
-
 * Make an XEmacs package
 
-- 
cgit v1.2.3