* Pure: 'class_deps' command visualizes the subclass relation;

--- 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 ***