Difference between revisions of "Mailing lists"

From Event-B
Jump to: navigation, search
m (typo)
m (Mailing Lists)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
Three mailing lists are set up:
+
==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 trafic on this mailing list.
+
;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 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.
+
;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.