Hi all,
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
the graph.
* Does not scale well (e.g. class_deps from Main.thy).
What
Hi Florian,
Thanks for your feedback. The main developer Markus Kaiser is giving a
presentation next week and we will discuss further steps.
Here's a part of a private German discussion with Makarius that explains
how to switch back to the classical browser (in PG/Emacs).
in
On Thu, 11 Oct 2012, Florian Haftmann wrote:
* Misfit of node annotation size wrt. to the size of the full graphs –
node annotations are not readable within a reasonable size coverage of
the graph.
* Does not scale well (e.g. class_deps from Main.thy).
I've made 1-2 rounds of refinements of
The class_deps non-scalability probably stems from the omission of the
transitive reduction (Hasse diagram). This was probably done due to the
anticipated locale graph visualization (which does not quite work), or
it might be just an omission.
The latter. I am not aware of any locale graph
On Thu, 11 Oct 2012, Florian Haftmann wrote:
The class_deps non-scalability probably stems from the omission of the
transitive reduction (Hasse diagram). This was probably done due to the
anticipated locale graph visualization (which does not quite work), or
it might be just an omission.
The