From 90ea182ba3992b16101d62725449f36d66e62bbd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Apr 2004 17:46:24 +0000
Subject: Updated.

---
 isar/todo | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isar/todo b/isar/todo
index e6d3ed1d..3740ade2 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,6 +4,8 @@
 
 See also ../todo for generic things to do, priority codes.
 
+** C Electric terminator for non-terminator provers would be nice.
+
 ** B Isabelle support for ML and legacy files: would like to remove "isa" instance
      Could we handle theory files and even allow scripting in ML files
      at the same time as Isar?  Maybe not, if this is even beyond what
-- 
cgit v1.2.3