This is an OpenMath editor to edit OpenMath Content Dictionaries.
It is available for Windows and Linux:
If you find some problem, you can contact with me in: jonathan.heras "arroba" unirioja.es
You can see my personal page here.
Some screen shots:
