From 3c8465b3606e33b0324b51250da5bec6f230f739 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 18:56:09 +0000
Subject: Deleted file

---
 TODO | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 TODO

diff --git a/TODO b/TODO
deleted file mode 100644
index 96405789..00000000
--- a/TODO
+++ /dev/null
@@ -1,33 +0,0 @@
-This is our brief list of planned things to do to Proof General.
-
-$Id$
-
-See also the Proof General development page on the web, and
-the issue tracker at http://proofgeneral.inf.ed.ac.uk/trac. 
-
-Please send any suggestions, comments, or offers of help to
-da+pg-feedback@inf.ed.ac.uk.  
-
-
-Ideas for upcoming versions
----------------------------
-
-* Implement support for PG Kit.  Support PGIP provers fully, with/without 
-  broker.   (See http://proofgeneral.inf.ed.ac.uk/kit).
-
-* Use CEDET Emacs framework for development tools, to allow more
-  powerful parsing of proof scripts and features arising from that.  
-  (See http://cedet.sourceforge.net/).
-
-* Add a browser mode for browsing script files and/or live theory
-  data-structures, in the prover.
-
-* More flexible goals buffer mode to allow menus of common proof
-  commands, especially via PBP-style highlighting
-
-* Queue manipulation improvement: allow to extend or reduce
-  during processing, with fewer "Proof Process Busy" messages.  
-
-* Support more proof assistants.  Add more example proofs.
-
-
-- 
cgit v1.2.3