[m-dev.] IDE for Mercury

[Peter Wang]

On Tue, 12 Sep 2017 18:45:14 +0300, Nagaev Andrey <gloom at opcode.cc> wrote:
> 
> I added a list of editors to the Mercury wikipedia page
> https://en.wikipedia.org/wiki/Mercury_(programming_language) . You can
> add this list to development page on the web site. I think it is a
> good idea because people sometimes ask about it.

Thank you, I have added the list to the development page.

Peter