1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 2a962e4b..287d65db 100644
--- a/todo
+++ b/todo
@@ -443,3 +443,5 @@ B According to the documentation of font-lock for Emacs 20.2, it
 * Release
 =========
 
+B add links *from* Coq, Lego & Isabelle Web pages
+