This package provides the following services:
B and Event-B Language Support in Atom
Adds syntax highlighting and snippets for the specification languages B and Event-B to Atom.
Feel free to provide feature requests or bug reports using the link above.
Code contributions are greatly appreciated. Please fork this repository and open a pull request to add snippets, make grammar tweaks, etc.