From 6e7cb9785ac15e68062b4578e117841fade8b53f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2001 15:05:33 +0000
Subject: Move visibility item up, removed "in progress"

---
 CHANGES | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

diff --git a/CHANGES b/CHANGES
index 3d2630c9..5f054d28 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,14 @@
 
 ** Generic Changes
 
+*** Visibility control for completed proofs
+
+     You can make proofs invisible using a context sensitive menu
+     (right button on a completed proof), or as soon as they are
+     completed with the "Options -> Disappearing Proofs" option.
+     Two menu items "Show proofs" and "Hide proofs" apply to
+     all the completed proofs in the buffer.
+
 *** Proof General startup script welcomes user
  
      The "binary" (startup script) bin/proofgeneral now loads
@@ -17,16 +25,6 @@
      Can now build RPM packages with "rpm -ta" from tarball source.
      RPM includes menu file and icons (tested under Linux Mandrake).
 
-*** Addition of visibility control for completed proofs
-
-     You can make proofs invisible using a context sensitive menu
-     (right button on a completed proof), or as soon as they are
-     completed with the "Options -> Disappearing Proofs" option.
-     To reveal all proofs again, use the "Make proofs visible"
-     command.
-
-     [ in progress, feedback welcome ]
-
 *** Command to insert last output as comment in proof script.
 
      Sometimes it is useful to paste some of the output from
-- 
cgit v1.2.3