From 0ed3156faa289a4fa04af018515a07e8904fff1f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Mar 2000 10:55:35 +0000
Subject: Updated

---
 TODO | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'TODO')

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
-- 
cgit v1.2.3