From 596b3f243c0a8742ab3b9ba3762dbcdc81dfc840 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 17:39:56 +0000
Subject: Updated.

---
 todo | 1 -
 1 file changed, 1 deletion(-)

(limited to 'todo')

diff --git a/todo b/todo
index b4f5d33b..4f2b7d71 100644
--- a/todo
+++ b/todo
@@ -716,7 +716,6 @@ LIST OF THINGS FOR PG 3.4
 -- Coq pbp focussing --- does this part work at least?  Test case.
 -- Pierre's changes
 -- Christophe's changes
--- Win32 prob noted by N.V.
 
 ** X-SYMBOL PROBLEMS 
     -- GNU emacs probs with Coq and friends.
-- 
cgit v1.2.3