From 2b8010a5e03688777f837149499f8449d46a2c3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 17:44:19 +0000
Subject: Web page todo

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

diff --git a/todo b/todo
index ab2ed115..ff2746b9 100644
--- a/todo
+++ b/todo
@@ -31,6 +31,8 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 *** Check multiple file support in Isabelle -- maybe has become buggy
 
+*** Complete clean-up of web page, broken link fixes.
+
 
  
 * Proof General Infeasibly Long Low-Level List of Things to Do
-- 
cgit v1.2.3