From 18905b2501ae83d34854a841fda95b3634951d1b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Nov 1999 12:06:46 +0000
Subject: Updated

---
 todo | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/todo b/todo
index 7f1058bb..e7322f31 100644
--- a/todo
+++ b/todo
@@ -46,15 +46,12 @@ B Manual improvements before techreport publishing (see notes at end also):
   - general tips on what to do when things go wrong: try
     interrupt, restart, finally exit proof assistant.
   - improvements after feedback from users.
+  - add screenshots?
+  - add more index entries
 
 D Change the name of "automatic multiple files" to something
   more comprehensible.
 
-X Improve goto button image [suggestion from Markus]
-  Is it possible to avoid the arrows to touch in the middle,
-  emphasizing the 'point' a bit more.  The arrows look a bit outwards
-  bent, too.
-
 D X-Symbol improvements: see if we can get support for 
   proof-xsym-extra-modes outside PG (just by loading proof-site).
   Will be handy for Isabelle's .itex Isabelle-LaTeX files.
@@ -290,6 +287,11 @@ D Idea: introduce a dynamic follow mode which follows
   matters).  Alternative is dynamic recenter mode to 
   keep end of locked region in buffer.
 
+X Improve goto button image [suggestion from Markus]
+  Is it possible to avoid the arrows to touch in the middle,
+  emphasizing the 'point' a bit more.  The arrows look a bit outwards
+  bent, too.
+
 X Check compilation okay, check on use of eval-and-compile.
 
 X Improve efficiency for processing for large proofs.
-- 
cgit v1.2.3