| changeset 36177 | 8e0770d2e499 |
| parent 36162 | 0bd034a80a9a |
| child 36178 | 0e5c133b48b6 |
--- a/NEWS Fri Apr 16 21:28:09 2010 +0200 +++ b/NEWS Fri Apr 16 22:15:09 2010 +0200 @@ -71,6 +71,10 @@ in subsequent goal refinement steps. Tracing may also still be enabled or disabled via the ProofGeneral settings menu. +* Separate commands 'hide_class', 'hide_type', 'hide_const', +'hide_fact' replace the former 'hide' KIND command. Minor +INCOMPATIBILITY. + *** Pure ***