• Packages
  • Themes
  • Documentation
  • Blog
  • Discussions
Sign in

language-tla-pluscal

TLA+ and PlusCal support for Atom
wysiib
0.3.0 503
2
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

TLA + and PlusCal Language Support in Atom

Adds syntax highlighting and snippets for the TLA+ specification language to Atom. Includes support for PlusCal (both p and c version).

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