Difference between revisions of "Maude Mailing Lists"

From The Maude System
Jump to: navigation, search
(Created the mailing list site)
 
 
(2 intermediate revisions by 2 users not shown)
Line 2: Line 2:
 
We maintain the following mailing lists relating to Maude.
 
We maintain the following mailing lists relating to Maude.
  
* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]
+
* [https://lists.cs.illinois.edu/lists/info/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]
*: A moderated list for the discussion of topics of general interest to all Maude users. This list is typically low-traffic, and contains items such as calls for papers, announcements of new Maude related papers, and notifications of new releases of Maude.
+
: A moderated list for the discussion of topics of general interest to all Maude users. This list is typically low-traffic, and contains items such as calls for papers, announcements of new Maude related papers, and notifications of new releases of Maude.
*: It is important that you subscribe to this list if using Maude, as this is the mechanism by which we will make important announcements about the system.
+
: It is important that you subscribe to this list if using Maude, as this is the mechanism by which we will make important announcements about the system.
*: To subscribe, or to view the archived messages, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-users.
+
: To subscribe, or to view the archived messages, please go to https://lists.cs.illinois.edu/lists/info/maude-users.
  
* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]
+
* [https://lists.cs.illinois.edu/lists/info/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]
*: Help list for questions about using Maude.
+
: Help list for questions about using Maude.
*: To subscribe, or to view the message archive, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-help. In order to be able to send messages to this list, you must subscribe to it with the same email address you plan to send messages from.
+
: To subscribe, or to view the message archive, please go to https://lists.cs.illinois.edu/lists/info/maude-help. In order to be able to send messages to this list, you must subscribe to it with the same email address you plan to send messages from.
 +
 
 +
* [https://lists.cs.illinois.edu/lists/info/maude-bugs <span style='font-size: x-large;'>maude-bugs @ cs.uiuc.edu</span>]
 +
: Use this email to report bugs.
 +
: Please, make sure bug reports are clearly stated and reproducible. Submit the required files and instructions on how to reproduce the problem.

Latest revision as of 19:13, 18 September 2017

We maintain the following mailing lists relating to Maude.

A moderated list for the discussion of topics of general interest to all Maude users. This list is typically low-traffic, and contains items such as calls for papers, announcements of new Maude related papers, and notifications of new releases of Maude.
It is important that you subscribe to this list if using Maude, as this is the mechanism by which we will make important announcements about the system.
To subscribe, or to view the archived messages, please go to https://lists.cs.illinois.edu/lists/info/maude-users.
Help list for questions about using Maude.
To subscribe, or to view the message archive, please go to https://lists.cs.illinois.edu/lists/info/maude-help. In order to be able to send messages to this list, you must subscribe to it with the same email address you plan to send messages from.
Use this email to report bugs.
Please, make sure bug reports are clearly stated and reproducible. Submit the required files and instructions on how to reproduce the problem.