From a3c93d2541695ae9d8f969ac7e14e69df8586903 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 9 Aug 2002 11:17:10 +0000 Subject: Updated. --- CHANGES | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 68ba9506..d92080dd 100644 --- a/CHANGES +++ b/CHANGES @@ -32,8 +32,8 @@ and old settings if you want to change back). *** Improvements to visibility controls -Visibility controls now work for comments and commands in proof -scripts. An image is used in XEmacs to signal hidden text. +Visibility controls now work for comments as well as proofs in +proof scripts. An image is used in XEmacs to signal hidden text. *** Menu improvements (Favourites, options saving) -- cgit v1.2.3