changeset 41028 | 1cabd6f4a718 |
parent 41019 | 1c6f7d4b110e |
child 41051 | 6cfacec435e6 |
child 41063 | 6e2d17cc0d1d |
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