diff options
| author | Marcin Chrzanowski <m@m-chrzan.xyz> | 2021-08-10 14:10:27 -0400 |
|---|---|---|
| committer | Marcin Chrzanowski <m@m-chrzan.xyz> | 2021-08-10 14:10:27 -0400 |
| commit | 7b02f7462935bef56fb701f1ea8d273da29f8c7b (patch) | |
| tree | 5bbf7a086835451315d615b668f78f290d886b66 | |
| parent | d61d16aca5ec456122ecf53e6c9dfa095c15e09c (diff) | |
| parent | d5903bd3206a504b92c4a9ed32187815b5259463 (diff) | |
Merge branch 'master' of github.com:m-chrzan/certora-vim
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ # Vim syntax highlighting for Certora -`syntax.vim` provides Vim syntax highlighting directives for Certora prover's +`certora.vim` provides Vim syntax highlighting directives for Certora prover's specification language. Put it in your `~/.vim/syntax/` directory, and add a `~/.vim/ftdetect/certora.vim` file with |