From 95341d3ae61447ff5c9fa9be8f833af2a4195aa5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 4 Nov 1998 13:56:39 +0000
Subject: Added item for func-menu and proof-save-goal-with-hole-regexp

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

diff --git a/todo b/todo
index 87f835ce..18451d1a 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+C  Func menu: add setting for proof-save-with-hole-regexp to
+   extend support for goals named at the end of proofs.
+
 D  Customization mechanism: is there a way to make saved settings
    not be overwritten by setq's in the code?  Need to think how
    to do this, something like customize-set-variable-if-unchanged
-- 
cgit v1.2.3