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

boogie-for-atom

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
pdeligia
2.1.4 107
1
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

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

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