Mailing lists

From Event-B
Jump to navigationJump to search

Mailing Lists

Four mailing lists are set up:

Messages in this mailing list are related to the new release of the Rodin Platform. There should be low traffic on this mailing list.
This mailing list is for users of the Rodin Platform to discuss about usage of the Rodin Platform and to exchange tips about that.
This mailing list is dedicated to the developers of the Rodin Platform and plug-ins. Topics discussed here include release plan of the Rodin Platform and expected changes for plug-in developers.
Each commit message is forxarded to this mailing list (set up since 2 april, 2009).

You can subscribe to them on sourceforge.


A #rodin channel on irc:// is available for user and development discussions. SVN commits are also announced on this channel.