Mailing lists

From Event-B
Revision as of 13:39, 17 March 2009 by imported>Mathieu (==Other== A ''#rodin'' channel on irc://irc.freenode.net)
Jump to navigationJump to search

Mailing Lists

Three mailing lists are set up:

Announce
Messages in this mailing list are related to the new release of the Rodin Platform. There should be low traffic on this mailing list.
(subscribe|archives)
User
This mailing list is for users of the Rodin Platform to discuss about usage of the Rodin Platform and to exchange tips about that.
(subscribe|archives)
Devel
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.
(subscribe|archives)


You can subscribe to them on sourceforge.

Other

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