Re: [isabelle] Finding a node name in the graph browser

I find them quite tricky to navigate as well. The actual graph doesn’t fit even the largest size and scrolling doesn’t seem to work very well.

On 7 Apr 2014, at 15:05, Florian Haftmann <florian.haftmann at> wrote:

> 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:
> <class_graph.png>

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