From b71f302def621904b7737b4e7ffa335cfbf71ec4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 13:40:28 +0000
Subject: Updates

---
 doc/notes.txt | 19 +++++--------------
 1 file changed, 5 insertions(+), 14 deletions(-)

(limited to 'doc/notes.txt')

diff --git a/doc/notes.txt b/doc/notes.txt
index eef0038e..0cf83b88 100644
--- a/doc/notes.txt
+++ b/doc/notes.txt
@@ -1,9 +1,10 @@
-Notes to include in documentation.
-----------------------------------
+Developers' Notes about Documentation
+-------------------------------------
 
-********
 
-Suggestion for outline of improved documentation.
+
+
+* Plan for outline of improved documentation.   (Completed)
 
  Terminology:  I suggest "proof mode" should become "proof script
  mode", aka "the proof script mode of Proof General".  We should
@@ -79,16 +80,6 @@ Suggestion for outline of improved documentation.
  C. Future ideas and plans					[da]
  
  
-*********
-
-Suggestions for improving web pages after Rod reading them:
-
-  - slideshow rather than single screen shot
-  - separate feature list
-  - explain what a proof script is and what script management buys you
-
-Get Dave a laptop to demo on.
-
 *********
 
 Support for Function Menus
-- 
cgit v1.2.3