kai logo
kai montage on used techs
This is the home our Mercury editing tool for eclipse, called kai.
OwnerDescriptionDue DateComplete
Gábor Bakos Add initial documentation July 8, 2012  
Gábor Bakos Make the preferences work (specifying compiler, mercury library) July 22, 2012  
Gábor Bakos Use better integer handling highlight code. July 22, 2012  
Showing 3 items from page To-Dos sorted by Due Date, Owner, Complete. View more »


  • kai 0.0.2 has been released In 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 released 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 ...
    Posted Jul 8, 2012, 12:51 PM by Gábor Bakos
Showing posts 1 - 2 of 2. View more »