diff options
| author | David Aspinall | 2002-08-09 11:17:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-09 11:17:10 +0000 |
| commit | a3c93d2541695ae9d8f969ac7e14e69df8586903 (patch) | |
| tree | 6a24852039c61b7e738ffadb733695cdbf94555d | |
| parent | 8f2bd5d72647452cfb18ad26617996ccb8c69fc5 (diff) | |
Updated.
| -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) |