[isabelle] Finding a node name in the graph browser



Hi all,

the typical graphs displayed in the graph browser (e.g. as produced by
class_deps after theory Main) are so complex that it is very hard to
find a specific node by name (cf. attached screenshot).

Obviously adding a text search to this ancient AWT application seems out
of focus.  But maybe sorting the nodes lexically would be a pragmatic
work-around.

Any opinions?

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: class_graph.png
Description: PNG image

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.