[isabelle-dev] Towards the next release
makarius at sketis.net
Sat Apr 14 21:44:00 CEST 2012
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
> 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
More information about the isabelle-dev