From b5d0d7d43a786894085cec8d55ecd35d61a60c5c Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 13 Jan 1999 16:21:31 +0000
Subject: added links from LEGO Web page

Now only Isabelle's references are misssing!
---
 todo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/todo b/todo
index a673bb1b..d88e192a 100644
--- a/todo
+++ b/todo
@@ -559,7 +559,7 @@ contain lines with stuff that looks lisp-ish.  e.g. "(asd . ads)"
 * Release 
 =========
 
-A add links *from* Coq, Lego & Isabelle Web pages (da, tms 10 min)
+A add links *from* Isabelle Web pages (da 10 min)
 
 
 * Stable version release checklist
-- 
cgit v1.2.3