Web page todo

1 files changed, 2 insertions, 0 deletions

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