VSCode-AnB

Syntax highlighting for the formal modelling language AnB in VS Code using TextMate.

AnB Language

The formal modelling language AnB is used by the ofmc tool and is based on the Alice-and-Bob notation. The file extension is .AnB.

Install

From the Releases download the .vsix file and add it to VS Code as a local extension or install it from VS Code Marketplace.

Developement

To create the VS Code Extension file, vsce package is needed:

 npm -g install vsce

After modifying anb.tmLanguage.json recreate the package:

 vsce package

Contribution

Feel free to contribute by opening an Issue or Pull Request.

Other editors

Syntax highlighter for Sublime Text by anderslime

License

MIT