• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

language-b-eventb

B and Event-B language support in Atom
  • #b
  • #event-b
  • #specification
  • #formal method
  • #machine
wysiib
495
0
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

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.

Build / Test Status

Build Status

I think this package is bad news.

Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.

  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by