Crimson Editor

Crimson editor is an open source code editor. It contains syntax highlighting for several different languages such as Java, C/C++, LaTex^? and many others. It is possible to create custom syntax highlighting for other languages as well. For more information about Crimson Editor see http://www.crimsoneditor.com/

A highlighting scheme has been created for VDM++ and the necessary files is attached to this entry ("VDM.key", "VDM.spc" and "extension.vpp"). Furthermore a guide illustrates the installation process: Link .

The newest version of Crimson Editor can found at this location.

Note: There has to be the latex start and end tag (\begin{vdm_al} and \end{vdm_al}) around the vdm code for the color coding to work.

The Guide
VDM Keywords
VDM Spec
VPP Extension

-- RasmusAskSoerensen - 04 Oct 2007