This is the first public release of kai, the Mercury editor for eclipse. Please be aware, that this is quite experimental, there might be -there will be- breaking changes in the future, there are known bugs (see Limitations part of the documentation).
The basics are working, and the feedback is welcome in our group.
The update site is:
Project updates >