# HG changeset patch
# User wenzelm
# Date 1158601214 -7200
# Node ID ebd0e03c6a9b1cecea6d70bed90ab0bba3acfe34
# Parent  f8cbdf0960ee95ad2fd39ca7856dacc921c822b2
* Pure: 'class_deps' command visualizes the subclass relation;

diff -r f8cbdf0960ee -r ebd0e03c6a9b NEWS
--- 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 ***