kai 0.0.2 has been releasedIn this release, two annoying bugs were fixed:preferences handlingint constants in code.Also added icons for the files, and the outilne.
Posted Jul 26, 2012, 4:22 PM by Gábor Bakos
kai 0.0.1 releasedThis 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 ...
Posted Jul 8, 2012, 12:51 PM by Gábor Bakos