From 204342f620cb85421981dec27d36bf76565d8db9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 15:32:48 +0000
Subject: Updated todo's.

---
 coq/todo | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/todo b/coq/todo
index 04ac35bf..8cbac6f5 100644
--- a/coq/todo
+++ b/coq/todo
@@ -32,7 +32,9 @@ See also ../todo for generic things to do, priority codes.
 ** B Proof-by-Pointing [2 weeks]
   da: Yves Bertot told me that his CtCoq proof-by-pointing code
   is in the Coq kernel now, so would be useful for PG.
-  We need a Coq hacker to do this (Pierre?)
+  We need a Coq hacker to do this.
+  Perhaps for new version of Coq.
+  da: I have old version of code sent to my by Healf.
 
 ** C Improve X-Symbol support.  Integrate with Coq syntax mechanism somehow?
 
-- 
cgit v1.2.3