doc: Document feature

ProVerif · Mar 3, 2024 · aeb4a25 · aeb4a25
1 parent ca39f7b
commit aeb4a25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
@@ -79,7 +79,7 @@ Go to definition:
 Support writing ProVerif:
 - [x] Configure language
 - [x] Add syntax highlighting
-- [ ] Add semantic tokens (`connection.languages.semanticTokens`)
+- [x] Add semantic tokens (`connection.languages.semanticTokens`)
 - [ ] Support syntactical autocomplete (`connection.onCompletion`)
 - [ ] Support semantical autocomplete (see https://tomassetti.me/code-completion-with-antlr4-c3/#chapter12)
 

diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Visual Studio Code extension for ProVerif files (.pv, .pvl, .pcv).
 ![Screenshot showing how the extension shows errors from ProVerif](./docs/sample.png)
 
 Functionality:
-- Adds syntax highlighting.
+- Adds semantic syntax highlighting.
 - Highlights the first syntax error ProVerif finds. For libraries, see below.
 - Hover over an identifier to learn more about it.
 - Press `CTRL` and click on an identifier to navigate to its definition or find all references of the definition.