I still use it sometimes, but it could be better. I don’t think the quality of the layout is actually that important. Part of the problem is that, these days, you have to jump through a dozen hoops just to enable Java in a web browser. Larry
On 23 Jan 2014, at 12:55, Makarius <[email protected]> wrote: > On Thu, 23 Jan 2014, Jasmin Blanchette wrote: > >> I would like to mention the central role played by Isabelle/jEdit for >> refactoring the theories, in particular reorganizing the theory imports. The >> "Theories" and "Sidekick" pannels were simply invaluable. > > At some point I would like to see the theory graph directly in "Theories" or > a variant of "Sidekick". The front-end know the structure, without asking > the prover. > > Isabelle/Graphview is still lying around in an usuable state, and merely > consuming Isabelle/Scala build time. After 2 years of work on that student > project, it turned out to lack an important phase of the layout algorithmn. > Since then the situation is fluctuating between myself trying to finish it, > trying to find a smart guy to do it, or trying to convince Stefan Berghofer > to learn some Scala and port his old stuff by himself. > > In 1996, Stefan implemented state-of-the art DAG layout in Java 1.1 from > scratch within a few weeks, but such things seem to take forever these days. > I am getting depressed each time I see applications that invoke the "dot" > (aka "graphviz") tools via external command-line, with layout algorithms > unchanged since 1995. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
