From 380a9a35b66b425bfd3d79ffdfaf3fff9c30607f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 17:39:21 +0000
Subject: Updated

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

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