Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml index 8debe99e..37201559 100644 --- a/languages.toml +++ b/languages.toml @@ -5347,6 +5347,22 @@ name = "gnuplot" source = { git = "https://codeberg.org/maribu/tree-sitter-gnuplot", rev = "21a3a3929facb964b3592daeb69119294ff84cf2" } [[language]] +name = "proverif" +scope = "source.proverif" +file-types = [ "pv" ] +injection-regex = "proverif" +indent = { tab-width = 8, unit=" "} +block-comment-tokens = { start = "(*", end = "*)" } +[language.auto-pairs] +'(' = ')' +'"' = '"' +"'" = "'" + +[[grammar]] +name = "proverif" +source = { git = "https://codeberg.org/maribu/tree-sitter-proverif", rev = "7741807092c4009c1fe4c3648da60ca72b1b80f1" } + +[[language]] name = "ptx" scope = "source.ptx" injection-regex = "ptx" |