[Fwd: Re: Maude pre-2 sources, binary, etc.]

PB schizophonic@tiscali.it
Tue Jun 3 10:37:02 2003


 From Brian, if anyone is trying to build Maude.

 >Okay, it seems that I forgot to upload BuDDy. It's now there.

Pietro