florian.haftmann at informatik.tu-muenchen.de
Thu Oct 11 13:31:49 CEST 2012
the recently established graphview IMHO has currently two disadvantages:
* Misfit of node annotation size wrt. to the size of the full graphs –
node annotations are not readable within a reasonable size coverage of
* Does not scale well (e.g. class_deps from Main.thy).
What are the plans for the next release? Graph browsing is a tool too
vital that it can be set inoperative. Is there any chancing for
improvements, or will there be a switch towards the classical browser
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 259 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev