Mailing lists

From Event-B
Revision as of 09:57, 5 January 2009 by imported>Mathieu (initial page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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 trafic 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.
(subscribehttp://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-user archives])
Devel
This mailing list is dedecated 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.
(subscribehttp://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-devel archives])


You can subscribe to them on sourceforge.