Difference between revisions of "Mailing lists"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (typo) |
imported>Tommy m (→Mailing Lists) |
||
| (3 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | ==Mailing Lists == | |
| + | Four 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 | + | ;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. |
:''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-announce subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-announce archives])'' | :''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-announce subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-announce archives])'' | ||
| Line 7: | Line 8: | ||
:''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-user subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-user archives])'' | :''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-user subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-user archives])'' | ||
| − | ;Devel: This mailing list is | + | ;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. |
:''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-devel subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-devel archives])'' | :''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-devel subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-devel archives])'' | ||
| + | |||
| + | ;Commit: Each commit message is forxarded to this mailing list (set up since 2 april, 2009). | ||
| + | :''([http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-commit subscribe]|[http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-commit archives])'' | ||
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]] | ||
Latest revision as of 09:23, 30 May 2013
Mailing Lists
Four 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)
- Commit
- Each commit message is forxarded to this mailing list (set up since 2 april, 2009).
- (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.
