Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha67/

or downloaded from

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

This release has just 3 minor changes from Alpha66 that have been
requested by various `hardcore' Maude users: 

(1)	[requested by Merrill & Kemal] It is now possible to print out
	the current search graph generated by the search command with
	the command:

	show search graph .

	This command may be used whether or not the search is complete
	(in the case you have given a bound on the number of
	solutions); naturally only the portion of the graph actually
	constructed can be output.

	The format is a sequence of states, each with 0 or more arcs
	that look like:

	state <state number>, <sort>: <state term>
	arc <arc number> ===> state <state number> (<rule>) ... (<rule>)
	:
	arc <arc number> ===> state <state number> (<rule>) ... (<rule>)

	State numbers start at 0.
	Arc numbers for each state start at 0.
	If it is possible to reach the same next state via multiple
	rules, this is treated as a single arc with a list of rules.
	If it is possible to reach the same next state via the same
	rule with multiple substitutions, this is not explicitly
	represented (since we are not outputting substitutions).
	This feature is the main reason for the release.

(2)	[requested by Carolyn] The trace select facility now also
	recognizes rule labels rather than just top symbols; so if you
	keep your rule labels disjoint from your operator names you
	can selectively trace rules via their label. The recent break
	select facility now also works in the same way for
	consistancy.

(3)	[requested by Jose] If you `in' a file that does not end in a
	newline, Maude will fake a newline. This allows a command at
	the end of such a file to be recongnized as such (the `.' at
	the end of a command must be followed by a newline in order to
	be recognized as the end of a command rather than as user
	syntax).

Steven