[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

Any opinions?



PGP available:

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.