Mailing lists

From Event-B
Revision as of 09:23, 30 May 2013 by imported>Tommy (→‎Mailing Lists)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Mailing Lists

Four 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)
Commit
Each commit message is forxarded to this mailing list (set up since 2 april, 2009).
(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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Mailing_lists&oldid=5860’