Mailing lists

From Event-B
Revision as of 09:57, 5 January 2009 by Mathieu (talk | contribs) (typo)
Jump to: navigation, search

Three mailing lists are set up:

Messages in this mailing list are related to the new release of the Rodin Platform. There should be low trafic 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 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.

You can subscribe to them on sourceforge.