1 files changed, 3 insertions, 0 deletions
diff --git a/TODO b/TODO
index 3d97dd78..3d61aad0 100644
--- a/TODO
+++ b/TODO
@@ -15,6 +15,9 @@ proofgen@dcs.ed.ac.uk.  Thanks!
 Plans for upcoming 3.x versions
 -------------------------------
 
+* Support turning on/off prover output automatically, e.g.
+  Coq's "Begin Silent" and "End Silent" commands.
+
 * Make an XEmacs package
 
 * Support more proof assistants