https://maude.cs.illinois.edu/w/index.php?title=Maude_Mailing_Lists&feed=atom&action=historyMaude Mailing Lists - Revision history2024-03-29T00:34:33ZRevision history for this page on the wikiMediaWiki 1.23.1https://maude.cs.illinois.edu/w/index.php?title=Maude_Mailing_Lists&diff=176&oldid=prevMalaga at 19:13, 18 September 20172017-09-18T19:13:33Z<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 19:13, 18 September 2017</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 10:</td>
<td colspan="2" class="diff-lineno">Line 10:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: Help list for questions about using Maude.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: Help list for questions about using Maude.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [https://lists.cs.illinois.edu/lists/info/maude-bugs <span style='font-size: x-large;'>maude-bugs @ cs.uiuc.edu</span>]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">: Use this email to report bugs.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">: Please, make sure bug reports are clearly stated and reproducible. Submit the required files and instructions on how to reproduce the problem.</ins></div></td></tr>
</table>Malagahttps://maude.cs.illinois.edu/w/index.php?title=Maude_Mailing_Lists&diff=118&oldid=prevMaudesystem at 17:32, 1 March 20162016-03-01T17:32:28Z<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 17:32, 1 March 2016</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>We maintain the following mailing lists relating to Maude.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>We maintain the following mailing lists relating to Maude.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [<del class="diffchange diffchange-inline">http</del>://lists.cs.<del class="diffchange diffchange-inline">uiuc</del>.edu/<del class="diffchange diffchange-inline">mailman</del>/<del class="diffchange diffchange-inline">listinfo</del>/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [<ins class="diffchange diffchange-inline">https</ins>://lists.cs.<ins class="diffchange diffchange-inline">illinois</ins>.edu/<ins class="diffchange diffchange-inline">lists</ins>/<ins class="diffchange diffchange-inline">info</ins>/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>: To subscribe, or to view the archived messages, please go to <del class="diffchange diffchange-inline">http</del>://lists.cs.<del class="diffchange diffchange-inline">uiuc</del>.edu/<del class="diffchange diffchange-inline">mailman</del>/<del class="diffchange diffchange-inline">listinfo</del>/maude-users.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: To subscribe, or to view the archived messages, please go to <ins class="diffchange diffchange-inline">https</ins>://lists.cs.<ins class="diffchange diffchange-inline">illinois</ins>.edu/<ins class="diffchange diffchange-inline">lists</ins>/<ins class="diffchange diffchange-inline">info</ins>/maude-users.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [<del class="diffchange diffchange-inline">http</del>://lists.cs.<del class="diffchange diffchange-inline">uiuc</del>.edu/<del class="diffchange diffchange-inline">mailman</del>/<del class="diffchange diffchange-inline">listinfo</del>/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [<ins class="diffchange diffchange-inline">https</ins>://lists.cs.<ins class="diffchange diffchange-inline">illinois</ins>.edu/<ins class="diffchange diffchange-inline">lists</ins>/<ins class="diffchange diffchange-inline">info</ins>/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: Help list for questions about using Maude.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>: Help list for questions about using Maude.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>: To subscribe, or to view the message archive, please go to <del class="diffchange diffchange-inline">http</del>://lists.cs.<del class="diffchange diffchange-inline">uiuc</del>.edu/<del class="diffchange diffchange-inline">mailman</del>/<del class="diffchange diffchange-inline">listinfo</del>/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.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: To subscribe, or to view the message archive, please go to <ins class="diffchange diffchange-inline">https</ins>://lists.cs.<ins class="diffchange diffchange-inline">illinois</ins>.edu/<ins class="diffchange diffchange-inline">lists</ins>/<ins class="diffchange diffchange-inline">info</ins>/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.</div></td></tr>
</table>Maudesystemhttps://maude.cs.illinois.edu/w/index.php?title=Maude_Mailing_Lists&diff=21&oldid=prevKquine at 02:15, 22 July 20142014-07-22T02:15:47Z<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 02:15, 22 July 2014</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">*</del>: 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.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">*</del>: 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.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">*</del>: To subscribe, or to view the archived messages, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-users.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: To subscribe, or to view the archived messages, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-users.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">*</del>: Help list for questions about using Maude.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: Help list for questions about using Maude.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">*</del>: 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.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>: 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.</div></td></tr>
</table>Kquinehttps://maude.cs.illinois.edu/w/index.php?title=Maude_Mailing_Lists&diff=13&oldid=prevKquine: Created the mailing list site2014-07-22T01:10:57Z<p>Created the mailing list site</p>
<p><b>New page</b></p><div><br />
We maintain the following mailing lists relating to Maude.<br />
<br />
* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-users <span style='font-size: x-large;'>maude-users @ cs.uiuc.edu</span>]<br />
*: 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.<br />
*: 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.<br />
*: To subscribe, or to view the archived messages, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-users.<br />
<br />
* [http://lists.cs.uiuc.edu/mailman/listinfo/maude-help <span style='font-size: x-large;'>maude-help @ cs.uiuc.edu</span>]<br />
*: Help list for questions about using Maude.<br />
*: 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.</div>Kquine