Skip to content

Improve syntax highlighting

Latest
Latest
Compare
Choose a tag to compare
@Calvin-L Calvin-L released this 17 May 00:17
1.0.6
e6c2e1f
This commit was signed with the committer’s verified signature.
Calvin-L Calvin Loncaric
GPG key ID: 4E19A0881F6642A8
Verified
Learn about vigilant mode.

This release fixes a few syntax highlighting issues:

  • text outside of a module should be treated as comments
  • pascal-style PlusCal algorithms were not treated correctly
  • uniprocess PlusCal algorithms were not treated correctly
Assets 2
Loading