1.1 --- a/NEWS	Sun Nov 28 13:55:19 2010 +0100
     1.2 +++ b/NEWS	Sun Nov 28 13:58:29 2010 +0100
     1.3 @@ -683,7 +683,7 @@
     1.4  
     1.5  Tracing is then active for all invocations of the simplifier in
     1.6  subsequent goal refinement steps. Tracing may also still be enabled or
     1.7 -disabled via the Proof General settings menu.
     1.8 +disabled via the ProofGeneral settings menu.
     1.9  
    1.10  * Separate commands 'hide_class', 'hide_type', 'hide_const',
    1.11  'hide_fact' replace the former 'hide' KIND command.  Minor