diff options
author | 2002-08-09 11:17:10 +0000 | |
---|---|---|
committer | 2002-08-09 11:17:10 +0000 | |
commit | a3c93d2541695ae9d8f969ac7e14e69df8586903 (patch) | |
tree | 6a24852039c61b7e738ffadb733695cdbf94555d /CHANGES | |
parent | 8f2bd5d72647452cfb18ad26617996ccb8c69fc5 (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |