Skip to content

Commit

Permalink
docs: Document feature
Browse files Browse the repository at this point in the history
  • Loading branch information
famoser committed Feb 12, 2024
1 parent 9b16e28 commit 22ceb65
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ Functionality:
- Highlights the first syntax errors ProVerif finds with the corresponding error. For libraries, see below.
- Press `CTRL` and click on an identifier to navigate to its definition or find all references of the definition.
- Press `F2` to rename an identifier.
- Press `CTRL`+`SHIFT`+`Space` to show signature help (automatically shown when typing `(`)
- Press `CTRL`+`SHIFT`+`B` to execute ProVerif over the currently opened file.
- Configure the proverif bin in the settings, else it is taken from the `$PATH`.

Expand Down

0 comments on commit 22ceb65

Please sign in to comment.