recovered Isabelle2009-2 NEWS -- published part is read-only;

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