Here is another small stepping stone: Isabelle/e82c72f3b227. The
Isabelle/Scala graph layout is now used to produce the session_graph.pdf
for document preparation. Moreover the same output is used for theory
dependencies in HTML, and the old GraphBrowser applet has been
discontinued.
What
On Wed, 21 Jan 2015, Lars Noschinski wrote:
While the UI was clearly subobtimal, I found it very useful to be able
to show only a part of the total graph (via Show - only children or
so). Similarly, I liked the ability to highlight the children/parents of
certain nodes.
I'll describe the
Attentive readers of incoming changesets might have noticed the recent
improvements of the Graphview component, which was a not-quite-working
student project from some years ago.
More details are present in Isabelle/5d08b2332b76, notably some kind of
tree view on the content, with
On 21.01.2015 11:58, Lars Noschinski wrote:
While the UI was clearly subobtimal, I found it very useful to be able
to show only a part of the total graph (via Show - only children or
so). Similarly, I liked the ability to highlight the children/parents of
certain nodes.
I'll describe the
On 18.01.2015 23:14, Makarius wrote:
On Sat, 17 Jan 2015, Makarius wrote:
Attentive readers of incoming changesets might have noticed the
recent improvements of the Graphview component, which was a
not-quite-working student project from some years ago.
As of Isabelle/32b162d1d9b5 it is
Attentive readers of incoming changesets might have noticed the recent
improvements of the Graphview component, which was a not-quite-working
student project from some years ago.
As of Isabelle/32b162d1d9b5 it is already quite usable, although a few
details of the old graph browser are still