Commit graph

4 commits

Author SHA1 Message Date
Andrew Helwer
b89192b3dc @number -> @keyword 2021-08-30 07:35:12 +02:00
Andrew Helwer
2d1e142451 Updated highlight queries for tlaplus 2021-08-30 07:35:12 +02:00
Andrew Helwer
ca0a7f5a8d Highlight some keyword.function nodes as just keywords 2021-08-20 18:56:14 +02:00
Andrew Helwer
da2336ea80 Added TLA+ grammar & queries 2021-08-20 18:56:14 +02:00