* Pure: 'print_theory' now suppresses entities with internal name;
authorwenzelm
Tue Sep 19 23:15:24 2006 +0200 (2006-09-19)
changeset 206208b26f58c5646
parent 20619 02e9b54b18fd
child 20621 29d57880ba00
* Pure: 'print_theory' now suppresses entities with internal name;
NEWS
     1.1 --- a/NEWS	Tue Sep 19 23:12:21 2006 +0200
     1.2 +++ b/NEWS	Tue Sep 19 23:15:24 2006 +0200
     1.3 @@ -465,6 +465,9 @@
     1.4  * Pure: 'class_deps' command visualizes the subclass relation, using
     1.5  the graph browser tool.
     1.6  
     1.7 +* Pure: 'print_theory' now suppresses entities with internal name
     1.8 +(trailing "_") by default; use '!' option for full details.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12