Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'book/src/generated/lang-support.md')
| -rw-r--r-- | book/src/generated/lang-support.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 1c9b3aa3..8da72615 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -224,6 +224,7 @@ | prolog | ✓ | | ✓ | | | `swipl` | | properties | ✓ | ✓ | | | | | | protobuf | ✓ | ✓ | ✓ | ✓ | | `buf`, `pb`, `protols` | +| proverif | ✓ | | | | | | | prql | ✓ | | | | | | | ptx | ✓ | | ✓ | | | | | pug | ✓ | | | | | | |