Boogie for Atom

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.

Boogie is an open-source project and can be found in CodePlex:

• Boogie @ CodePlex