Mailing lists: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m typo
imported>Mathieu
mNo edit summary
Line 1: Line 1:
Three mailing lists are set up:
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 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 7:
:''([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])''



Revision as of 09:58, 5 January 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)


You can subscribe to them on sourceforge.