Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha84/

or downloaded from:

http://www.csl.sri.com/~eker/Maude/Alpha84/

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This version reports itself as Maude 2.1 and will be released as such
if no show stoppers are found between now and next Thursday. This
version has binaries for Mac/Linux, HP-Alpha/OSF and x86/Free BSD in
addition to the usual platforms.

Bug fix
========
A bug in the post syntax error clean up code which freed module
expression structures that it should not, resulting in memory
corruption, random warnings, and an internal error following a syntax
error. Reported by Azadeh Farzan and Carolyn. For example:

fmod FOO is
  protecting NAT .
  op f : -> Nat Nat .
endfm

fmod FOO is
endfm


Other changes
==============
This version uses recently released Tecla 1.5.0 which resolves various
issues on newer linux versions. Unfortunately I haven't been able to
get this Tecla version to build under Panther so the Darwin binary
still uses Tecla 1.4.1. The is also to possibility that the Darwin
binary may not run under earlier MacOS X versions.

There is now a rudimentary test suite in the source tree; use
  make check
to run it after building from source. In order to support automated
testing the is a new command line flag
  -no-banner
which suppresses the banner (which will differ between versions making
output comparison harder).

Steven