Amaya is a web editor from the W3C.
Multi platform with releases for Windows, Unix platforms and MacOS X. It has the ability to edit multiple web formats - HTML, CSS, XML, XHTML, MathML and SVG. It allows working with multiple documents at a time, and includes a collaborative annotation application.
