Dear Maude Abusers,

A new beta release can be accessed at SRI-CSL in:

~eker/public_html/Maude/Maude3.0beta1/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This is the first beta release (and a release candidate) for
Maude 3.0. If there are no show stoppers we hope to release
3.0 before Christmas.

The corresponding version for FullMaude can be obtained from:
  https://github.com/maude-team/full-maude/

As with Alpha126, making the Mac binaries has been delegated to Rubén
and I'll put them up as soon as they are available.

Bug fix
========

(1) A memory leak in the file writing code. Found and fixed by Rubén.

Changes
========

(1) The Maude shell now supports the common unix abbreviation
  ll
for
  ls -l

(2) The source code has been extensively cleaned up so that it
compiles without compiler warnings from g++ under -Wall
(except for code generated by flex and bison) both (with optimization,
without internal checks) and (without optimization, with internal checks).

Steven