From fd627badc16a9a70e6547b1416bfc03938854e73 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Thu, 15 Oct 1998 16:33:15 +0000
Subject: added B item for Release

---
 todo | 2 ++
 1 file changed, 2 insertions(+)

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
+
-- 
cgit v1.2.3