Armaide is a fast and responsive integrated development environment for Windows which enables you to write software and
cross-compile it to target ARM-based microcontrollers.  The programming language supported by Armaide is Oberon-07.

http://www.cfbsoftware.com/armaide/armaide.aspx