Mailing lists: Difference between revisions

From Event-B

Revision as of 08:07, 6 April 2009

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)

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.

A #rodin channel on irc://irc.freenode.net is available for user and development discussions. SVN commits are also announced on this channel.

@@ Line 10: / Line 10: @@
 ;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])''
+;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])''