Updated

1 files changed, 9 insertions, 0 deletions

diff --git a/todo b/todo
index 6b582d09..d658817e 100644
--- a/todo
+++ b/todo
@@ -64,6 +64,9 @@ C Make the remaining options in the quick-opts-menu be more
   after changing output hightlighting, make/delete frames,
   etc.
 
+X Why does dired get loaded when PG loads?  (Can we speed 
+  loading by avoiding a particular function?)
+
 B Display buffer clearing: response buffer is cleared
   too often/eagerly, perhaps?  The output find-theorems or
   similar doesn't last beyond a single proof step.
@@ -712,6 +715,12 @@ B Validate pages.
       Current failures for HTML 4.0 to do with CGI-style arguments with "&",
       this is a problem with PHP3 really.
 
+C Wanted for links:  something to UITP.
+
+C Broken (old) links:
+    (Applications of a Type Theory based Proof Assistant)
+    http://www.dcs.ed.ac.uk/lfcs/research/logic_and_proof/attbpa.html
+
 C Reduce text size and front page image, for 1024x768 screens.
 
 C Add pdf documentation as soon as DCS upgrades its ancient