No syntax highlighting for (new) config values CHECK_DEADLOCK and POSTCONDITION

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Closed lemmy closed 4 years ago

lemmy commented 4 years ago

Title says it all

alygin commented 4 years ago

@lemmy, support for the new keywords has been added in the v1.5.1-alpha.2 pre-release.

alygin commented 4 years ago

Fixed in v1.5.1