| changeset 20582 | ebd0e03c6a9b |
| parent 20503 | 503ac4c5ef91 |
| child 20607 | 926a76a84e97 |
--- a/NEWS Mon Sep 18 19:39:14 2006 +0200 +++ b/NEWS Mon Sep 18 19:40:14 2006 +0200 @@ -462,6 +462,9 @@ parse translation. INCOMPATIBILITY -- use dummy abstraction instead, for example "A -> B" => "Pi A (%_. B)". +* Pure: 'class_deps' command visualizes the subclass relation, using +the graph browser tool. + *** HOL ***