1 files changed, 1 insertions, 1 deletions
diff --git a/TODO b/TODO
index 3390f8d6..b438df45 100644
--- a/TODO
+++ b/TODO
@@ -30,7 +30,7 @@ Plans for upcoming versions
 * Queue manipulation improvement: allow to extend or reduce
   during processing, with fewer "Proof Process Busy" messages.  
 
-* Support more proof assistants
+* Support more proof assistants.  Add more example proofs.
 
 * Make an XEmacs package