Re: manual: Why use 'maude' as the example program name?

On Wed, Feb 28, 2018 at 11:59 AM, Gavin Smith wrote: > On 25 February 2018 at 19:13, Jonas Thiem wrote: > > Disclaimer: I haven't read this part of the docs myself. But for what > > it's worth, I think Maude looks a bit like a misspelling of Make and

Re: manual: Why use 'maude' as the example program name?

On 25 February 2018 at 19:13, Jonas Thiem wrote: > Disclaimer: I haven't read this part of the docs myself. But for what > it's worth, I think Maude looks a bit like a misspelling of Make and > doesn't stick out that well, compared to "exampleprog" or something. > Also, I