[Harmen Kastenberg <h.kastenberg@cs...>]

Dear colleagues,

A new release of the graph transformation and verification tool Groove, 
version 1.4.2, is online available since this week. The major changes 
can be categorized to be either observable or internal.

Observable changes include the speedup of the matching process by 
introducing search plans, extension of the graphical user interfaces, 
improved support for attributed graphs, and extension of the user manual.

Internal changes include the use of Java 5, a refactoring of the 
implementation of the transformation process making it easier to 
understand and maintain, and the migration to the latest JGraph version 
(5.9.2).

Further information about GROOVE can be found on http://groove.sf.net 
and http://www.sf.net/projects/groove. Hopefully, you enjoy using Groove 
and we encourage everybody to share ideas and suggestions with us.

Best regards on behalf on the GROOVE development team,

Harmen Kastenberg