Dear Maude Abusers,

The Maude 3.1 release can be accessed at SRI-CSL in:

~eker/public_html/Maude/Maude3.1/

or downloaded from:

http://www.csl.sri.com/~eker/Maude/Maude3.1/

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

It will be publicly released on the Maude website:

http://maude.cs.illinois.edu/w/index.php/The_Maude_System

as soon as the manual is ready.

Changes from beta release
==========================
(1) The code for handling ^C during a suspension on
external events now flags the case where the first ^C
produced some external event that allowed execution to
continue and the second ^C actually was the first ^C
for a different suspension.

This is to explain a confusing case found by Paco where
because the ^C is delivered to all processes within a process
group, including the forked one, it could appear that
it required three ^C events to abort whereas in fact the
first ^C event caused the forked process to send some output
that allow  normal execution:

^C
Control-C while suspended on external event(s).
A second control-C on the same suspension will abort execution and return to command line.
^C
Control-C while suspended on external event(s).
Note that this is a different suspension than the one that received a control-C 67 rewrites ago.
A second control-C on the same suspension will abort execution and return to command line.
^C
Second control-C while suspended on external event(s).
Aborting execution and returning to command line.

(2) There is some code cleaning to fix warnings generated by clang.

Steven