| changeset 40780 | 1cabd6f4a718 |
| parent 40771 | 1c6f7d4b110e |
| child 40801 | 6cfacec435e6 |
| child 40815 | 6e2d17cc0d1d |
--- 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