| changeset 20620 | 8b26f58c5646 |
| parent 20607 | 926a76a84e97 |
| child 20712 | b3cd1233167f |
--- a/NEWS Tue Sep 19 23:12:21 2006 +0200 +++ b/NEWS Tue Sep 19 23:15:24 2006 +0200 @@ -465,6 +465,9 @@ * Pure: 'class_deps' command visualizes the subclass relation, using the graph browser tool. +* Pure: 'print_theory' now suppresses entities with internal name +(trailing "_") by default; use '!' option for full details. + *** HOL ***