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
> > doesn't stick out that well, compared to
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 personally would suggest
