# HG changeset patch
# User wenzelm
# Date 1290949109 -3600
# Node ID 1cabd6f4a718ced19be783d8b96b2984c34e455a
# Parent  24851517ef1526373454c7d9bc28a167ad580e5a
recovered Isabelle2009-2 NEWS -- published part is read-only;

diff -r 24851517ef15 -r 1cabd6f4a718 NEWS
--- 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