Project updates

kai 0.0.2 has been released

posted Jul 26, 2012, 4:22 PM by Gábor Bakos

In this release, two annoying bugs were fixed:
  1. preferences handling
  2. int constants in code.
Also added icons for the files, and the outilne.

kai 0.0.1 released

posted Jul 8, 2012, 12:51 PM by Gábor Bakos

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:

1-2 of 2