From 67f9fba4ee77d8ee23dd7f7f36676867e37d8243 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:57:05 +0000
Subject: Updated

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

diff --git a/TODO b/TODO
index 4051676f..3dab3a4e 100644
--- a/TODO
+++ b/TODO
@@ -31,8 +31,6 @@ Plans for upcoming 3.x versions
   point-and-click in goals buffer.  Useful when pbp isn't supported.
   [Now partially implemented in 3.2pre]
 
-* Make an XEmacs package
-
 * Support more proof assistants
 
 * A more flexible way of choosing which instance of PG we want,
@@ -45,6 +43,8 @@ Plans for upcoming 3.x versions
 Plans for later versions
 ------------------------
 
+* Make an XEmacs package
+
 * Queue manipulation improvment: allow to extend or reduce
   during processing, with fewer "Proof Process Busy" messages.  
 
-- 
cgit v1.2.3