We have released our first version of kai, a Mercury editor for eclipse. For details see the announcement and the documentation.