This is the home our Mercury editing tool for eclipse, called kai.
| Owner | Description | Due Date | Complete |
| 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 | |
|
Messages
-
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
|
|
