Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha76a/

or downloaded from:

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

This is an urgent bug fix release that just includes binaries and the
changed source files. See Alpha76 for everything else.

Bug fixes:
(1)	metaXmatch() complains about kind clashes between the pattern
	and subject terms; but this is perfectly legal for
	metaXmatch(). I overdid the checking introduced for bug fix
	(4) from Alpha76. Thanks to Carolyn for spotting this.

(2)	Tecla does not play well with Emacs (or vice versa depending
	on your point of view). There are two new command line flags:

	-tecla		Use Tecla
	-no-tecla	Don't use Tecla

	The default is to use Tecla unless:

	(a)	standard input is not a tty; or
	(b)	TERM environment variable is set to emacs or dumb.

	Thanks to Joe Hendrix for spotting this bug.

Steven