From f7eec8783733bab66dc3b4ddbf5d543bee33ef73 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 3 Mar 2004 15:59:53 +0000
Subject: Updated.

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

diff --git a/TODO b/TODO
index b403c9ea..f03463e8 100644
--- a/TODO
+++ b/TODO
@@ -14,8 +14,6 @@ da+pg-feedback@inf.ed.ac.uk.  Thanks!
 Plans for upcoming versions
 ---------------------------
 
-* Support more proof assistants
-
 * Add a browser mode for browsing script files and/or live theory
   data-structures, in the prover.
 
@@ -32,8 +30,8 @@ Plans for upcoming versions
   crucial points in code so that C-g can safely be used during script 
   processing.  Handle deleted buffers smoothly.
 
-* Make an XEmacs package
+* Support more proof assistants
 
-* Repair byte-compilation
+* Make an XEmacs package
 
 
-- 
cgit v1.2.3