aboutsummaryrefslogtreecommitdiffhomepage
path: root/TODO
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-14 10:55:35 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-14 10:55:35 +0000
commit0ed3156faa289a4fa04af018515a07e8904fff1f (patch)
tree336cd47444ab502db4e9ef6538b6b777effc0ec9 /TODO
parent637359b517d597be8fb0ef80afd6ce64e17c0c1c (diff)
Updated
Diffstat (limited to 'TODO')
-rw-r--r--TODO3
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