Syntax highlighting for VDM

Here are language files for VDM:

  • VDM-SL
  • VDM-PP
  • VDM-RT
They should be placed in: share\gtksourceview-2.0\language-specs

vdm.lang (9.94 kb)

vdmpp.lang (10.15 kb)

vdmrt.lang (10.25 kb)

vdmsl.lang (9.95 kb)

vpp.lang (10.14 kb)






Leave a Reply

Your email address will not be published. Required fields are marked *


This site uses Akismet to reduce spam. Learn how your comment data is processed.