1 files changed, 1 insertions, 1 deletions
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