Difference between revisions of "Maude Mailing Lists"
From The Maude System
m |
|||
(One intermediate revision by one other user not shown) | |||
Line 2: | Line 2: | ||
We maintain the following mailing lists relating to Maude. | We maintain the following mailing lists relating to Maude. | ||
− | * [ | + | * [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 | + | : To subscribe, or to view the archived messages, please go to https://lists.cs.illinois.edu/lists/info/maude-users. |
− | * [ | + | * [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 | + | : 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.