Mailing lists
From Event-B
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.