Mailing lists: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu mNo edit summary |
imported>Mathieu m ==Other== A ''#rodin'' channel on irc://irc.freenode.net |
||
| Line 1: | Line 1: | ||
==Mailing Lists == | |||
Three mailing lists are set up: | Three mailing lists are set up: | ||
| Line 12: | Line 13: | ||
You can subscribe to them on [http://sourceforge.net/mail/?group_id=108850 sourceforge]. | You can subscribe to them on [http://sourceforge.net/mail/?group_id=108850 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. | |||
[[Category:Community]] | [[Category:Community]] | ||
Revision as of 13:39, 17 March 2009
Mailing Lists
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.
Other
A #rodin channel on irc://irc.freenode.net is available for user and development discussions. SVN commits are also announced on this channel.
