IDE/Advanced text editor mainly focusing on support for the Nimrod programming language.