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.
Larry

On 7 Apr 2014, at 15:05, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> <class_graph.png>





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