[isabelle-dev] Towards the next release

Makarius 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 
>> 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.


More information about the isabelle-dev mailing list