Mailing lists

From Event-B
Revision as of 09:57, 5 January 2009 by Mathieu (talk | contribs) (initial page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.
(subscribe archives])
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.
(subscribe archives])

You can subscribe to them on sourceforge.