[Maude-users] full maude: show search path

[Peter Simons]

Hi,

as far as I can tell, the latest version of Full Maude is
from December 1st, 2005. This version lists the ability to
display search paths as a TODO item. Is there any word when
this capability will be added? I've found Full Maude to be
far more convenient than Core Maude for specifying
object-oriented systems, but the ability to step through the
rewriting process (using "continue" or "show search path")
is fairly important for my purposes.

I also wonder how I can change the layout of a printed
Configuration. In Core Maude, I could do something like
this:

  including CONFIGURATION * ( op __   to __   [format (d n d)]
                            , op _`,_ to _`,_ [format (d d s d)]
                            ) .

But in Full Maude any attempt to change operator __ of
CONFIGURATION or CONFIGURATION+ makes the system unusable.
Is there another way to achieve this?

With kind regards,
Peter