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
> 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 gra
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 th
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 http://isabelle
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 are
