On Fri, 13 Apr 2012, Lukas Bulwahn wrote:
Since (2) is nothing specifically exciting by JUNG either -- it seems
to be based on plain Java Graphics2D stuff -- I had recommended to
abandon JUNG altogether. Did anything happen here in the meantime?
We have discussed internally in more detail how to continue, but have
not made any progress in the implementation itself.
I have also spoken to Stefan Berghofer again, and encoraged him to help
porting his great graph layout tool to Scala. Conceptually, the old
graph browser can still compete with newer things on the market, but
with its use of AWT from Java 1.1 that is hard to explain to end-users.
(It is also technically hard to integrate into contemporary Swing
components.)
Before Stefan starts yet another implementation, we should make sure
that the different projects converge.
The idea was the same as before, when we had our joint discussion on the
browser projects: join the efforts of Stefan from 1996 and Markus Kaiser
from 2011.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
