Updated

1 files changed, 6 insertions, 4 deletions

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