tm-grammars 1.32.12 → 1.32.13

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/README.md +2 -2
  2. package/grammars/coq.json +2 -2
  3. package/index.js +11 -11
  4. package/package.json +1 -1
package/README.md CHANGED
@@ -58,7 +58,7 @@ import { grammars } from 'tm-grammars'
58
58
  | `codeql` | `ql` | [github/vscode-codeql](https://github.com/github/vscode-codeql/blob/a6266bbcc88702619ceb580253a65e8f83333c1b/syntaxes/ql.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/github/vscode-codeql/main/LICENSE.md) | | | 25.78 kB |
59
59
  | `coffee` | `coffeescript` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/ff58f5083f57b50e6a100ab60454dfb72fe21e80/extensions/coffeescript/syntaxes/coffeescript.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | `javascript` | 25.88 kB |
60
60
  | `common-lisp` | `lisp` | [qingpeng9802/vscode-common-lisp](https://github.com/qingpeng9802/vscode-common-lisp/blob/79d04dc9ca80d98e65c4f28b3d67a24a7829b18f/syntaxes/commonlisp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/qingpeng9802/vscode-common-lisp/master/LICENSE) | | | 21.55 kB |
61
- | `coq` | | [rocq-prover/vsrocq](https://github.com/rocq-prover/vsrocq/blob/ebf8835e7a01237c243c06984466aaab17872c62/client/syntax/rocq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE) | | | 5.56 kB |
61
+ | `coq` | | [rocq-prover/vsrocq](https://github.com/rocq-prover/vsrocq/blob/76f6daf4589f6617019e7500d5c2acb327578b44/client/syntax/rocq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE) | | | 5.57 kB |
62
62
  | `cpp` | `c++` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/8623a79836fba2e7e058e3493345ee068d28ce4f/extensions/cpp/syntaxes/cpp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | `cpp-macro` `regexp` `glsl` | 464.92 kB |
63
63
  | `crystal` | | [crystal-lang-tools/vscode-crystal-lang](https://github.com/crystal-lang-tools/vscode-crystal-lang/blob/c920b0931ec5f05b78447dbff31b172c64f1d734/syntaxes/crystal.json) | [MIT](https://raw.githubusercontent.com/crystal-lang-tools/vscode-crystal-lang/master/LICENSE) | | `html` `sql` `css` `c` `javascript` `shellscript` | 27.39 kB |
64
64
  | `csharp` | `c#` `cs` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/af600487b1e94374d9f48f57cbf2cad24656b07f/extensions/csharp/syntaxes/csharp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | | 85.94 kB |
@@ -240,7 +240,7 @@ import { grammars } from 'tm-grammars'
240
240
  | `twig` | | [mblode/vscode-twig-language-2](https://github.com/mblode/vscode-twig-language-2/blob/b4f2809d6f75850ee7350b03f8b1d439d741ebf5/src/syntaxes/twig.tmLanguage) | [MIT](https://raw.githubusercontent.com/mblode/vscode-twig-language-2/master/LICENSE.md) | [GitHub Sponsors: **@mblode**](https://github.com/sponsors/mblode) | `css` `javascript` `scss` `php` `python` `ruby` | 20.17 kB |
241
241
  | `typescript` | `ts` `cts` `mts` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/210541906e5a96ab39f9c753f921b1bd35f4138b/extensions/typescript-basics/syntaxes/TypeScript.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | | 160.03 kB |
242
242
  | `typespec` | `tsp` | [microsoft/typespec](https://github.com/microsoft/typespec/blob/64f7850fb6e6069965ba8774643241b6a74f881c/grammars/typespec.json) | [MIT](https://raw.githubusercontent.com/microsoft/typespec/main/LICENSE) | | | 23.94 kB |
243
- | `typst` | `typ` | [Myriad-Dreamin/tinymist](https://github.com/Myriad-Dreamin/tinymist/blob/e2a1812decab06adae1a837f3672bf00b3077768/editors/vscode/package.json) | [Apache-2.0](https://raw.githubusercontent.com/Myriad-Dreamin/tinymist/main/LICENSE) | | `bat` `bibtex` `c` `clojure` `coffee` `cpp` `css` `csharp` `dart` `diff` `docker` `elixir` `erlang` `fsharp` `git-commit` `git-rebase` `go` `groovy` `handlebars` `html` `ini` `java` `javascript` `jsonc` `json` `julia` `latex` `less` `log` `lua` `make` `markdown` `objective-c` `perl` `raku` `php` `powershell` `pug` `r` `regexp` `ruby` `scss` `sql` `swift` `xml` `xsl` `yaml` `python` `rust` `scala` `shellscript` `typescript` `tsx` `twig` `verilog` `system-verilog` `vb` | 151.64 kB |
243
+ | `typst` | `typ` | [Myriad-Dreamin/tinymist](https://github.com/Myriad-Dreamin/tinymist/blob/766f1ec0edcfef620c70baac7fd2790a01baa324/editors/vscode/package.json) | [Apache-2.0](https://raw.githubusercontent.com/Myriad-Dreamin/tinymist/main/LICENSE) | | `bat` `bibtex` `c` `clojure` `coffee` `cpp` `css` `csharp` `dart` `diff` `docker` `elixir` `erlang` `fsharp` `git-commit` `git-rebase` `go` `groovy` `handlebars` `html` `ini` `java` `javascript` `jsonc` `json` `julia` `latex` `less` `log` `lua` `make` `markdown` `objective-c` `perl` `raku` `php` `powershell` `pug` `r` `regexp` `ruby` `scss` `sql` `swift` `xml` `xsl` `yaml` `python` `rust` `scala` `shellscript` `typescript` `tsx` `twig` `verilog` `system-verilog` `vb` | 151.64 kB |
244
244
  | `v` | | [vlang/vscode-vlang](https://github.com/vlang/vscode-vlang/blob/cc6dee79af1fc1332084a263b952489aaed7e884/syntaxes/v.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/vlang/vscode-vlang/master/LICENSE) | | | 12.56 kB |
245
245
  | `vala` | | [vala-lang/vala-vscode](https://github.com/vala-lang/vala-vscode/blob/8f825e95648326df2572d0522632251cdff4a43b/syntaxes/vala.YAML-tmLanguage) | [MIT](https://raw.githubusercontent.com/vala-lang/vala-vscode/master/LICENSE) | | | 3.12 kB |
246
246
  | `vb` | | [microsoft/vscode](https://github.com/microsoft/vscode/blob/35d97bc7e439fce0f50f42074041ab2d8571b20a/extensions/vb/syntaxes/asp-vb-net.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | | 5.70 kB |
package/grammars/coq.json CHANGED
@@ -10,7 +10,7 @@
10
10
  "name": "keyword.control.import.rocq"
11
11
  },
12
12
  {
13
- "match": "\\b((Open|Close|Delimit|Undelimit|Bind)\\s+Scope)\\b",
13
+ "match": "\\b((Open|Close|Delimit|Undelimit|Bind|Declare)\\s+Scope)\\b",
14
14
  "name": "keyword.control.import.rocq"
15
15
  },
16
16
  {
@@ -112,7 +112,7 @@
112
112
  "match": "\\b(Ltac2)\\s+(mutable\\s+)?(rec\\s+)?(([_ \\p{L}])(['0-9_ \\p{L}])*)"
113
113
  },
114
114
  {
115
- "match": "\\b(Hint(\\s+Mode)?|Create\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\s+Types)?|Set|Unset|Remove\\s+Printing|Arguments|((Tactic|Reserved)\\s+)?Notation|Infix|Section|Module(\\s+Type)?|End|Check|Print(\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\s+(All|Variable))?|Existing(\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\s+(Opaque|Transparent))\\b",
115
+ "match": "\\b(Hint(\\s+Mode)?|Create\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\s+Types?)?|Set|Unset|Remove\\s+Printing|Arguments|((Tactic|Reserved)\\s+)?Notation|Infix|Section|Module(\\s+Type)?|End|Check|Print(\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\s+(All|Variable))?|Existing(\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\s+(Opaque|Transparent))\\b",
116
116
  "name": "keyword.source.rocq"
117
117
  },
118
118
  {
package/index.js CHANGED
@@ -839,22 +839,22 @@ export const grammars = [
839
839
  sourceApi: 'https://api.github.com/repos/qingpeng9802/vscode-common-lisp/contents/syntaxes/commonlisp.tmLanguage.json?ref=79d04dc9ca80d98e65c4f28b3d67a24a7829b18f',
840
840
  },
841
841
  {
842
- byteSize: 5695,
842
+ byteSize: 5704,
843
843
  categories: [
844
844
  'general',
845
845
  ],
846
846
  displayName: 'Rocq',
847
847
  funding: [
848
848
  ],
849
- hash: 'YhDoM281Dih-4viPxm_XpOt90ywGufB33enAKX7jgxk',
850
- lastUpdate: '2026-07-09T12:27:26Z',
849
+ hash: 'y_30YpDeQc7ueeX945a14ECEaJDYOrT9mCYkMJyDxNo',
850
+ lastUpdate: '2026-09-03T16:53:02Z',
851
851
  license: 'MIT',
852
852
  licenseUrl: 'https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE',
853
853
  name: 'coq',
854
854
  scopeName: 'source.rocq',
855
- sha: 'ebf8835e7a01237c243c06984466aaab17872c62',
856
- source: 'https://github.com/rocq-prover/vsrocq/blob/ebf8835e7a01237c243c06984466aaab17872c62/client/syntax/rocq.tmLanguage.json',
857
- sourceApi: 'https://api.github.com/repos/rocq-prover/vsrocq/contents/client/syntax/rocq.tmLanguage.json?ref=ebf8835e7a01237c243c06984466aaab17872c62',
855
+ sha: '76f6daf4589f6617019e7500d5c2acb327578b44',
856
+ source: 'https://github.com/rocq-prover/vsrocq/blob/76f6daf4589f6617019e7500d5c2acb327578b44/client/syntax/rocq.tmLanguage.json',
857
+ sourceApi: 'https://api.github.com/repos/rocq-prover/vsrocq/contents/client/syntax/rocq.tmLanguage.json?ref=76f6daf4589f6617019e7500d5c2acb327578b44',
858
858
  },
859
859
  {
860
860
  aliases: [
@@ -4733,15 +4733,15 @@ export const grammars = [
4733
4733
  ],
4734
4734
  funding: [
4735
4735
  ],
4736
- hash: 'VDxZki3XLVD-_gu2qbazuiqYC_Y-NU5pIJq4Geik4ho',
4737
- lastUpdate: '2026-08-29T20:21:46Z',
4736
+ hash: 'WDSimVIgDFZbEUTdtpYkzf27C3676d4xbpuNO5n9pLs',
4737
+ lastUpdate: '2026-09-04T07:26:36Z',
4738
4738
  license: 'Apache-2.0',
4739
4739
  licenseUrl: 'https://raw.githubusercontent.com/Myriad-Dreamin/tinymist/main/LICENSE',
4740
4740
  name: 'typst',
4741
4741
  scopeName: 'source.typst',
4742
- sha: 'e2a1812decab06adae1a837f3672bf00b3077768',
4743
- source: 'https://github.com/Myriad-Dreamin/tinymist/blob/e2a1812decab06adae1a837f3672bf00b3077768/editors/vscode/package.json',
4744
- sourceApi: 'https://api.github.com/repos/Myriad-Dreamin/tinymist/contents/editors/vscode/package.json?ref=e2a1812decab06adae1a837f3672bf00b3077768',
4742
+ sha: '766f1ec0edcfef620c70baac7fd2790a01baa324',
4743
+ source: 'https://github.com/Myriad-Dreamin/tinymist/blob/766f1ec0edcfef620c70baac7fd2790a01baa324/editors/vscode/package.json',
4744
+ sourceApi: 'https://api.github.com/repos/Myriad-Dreamin/tinymist/contents/editors/vscode/package.json?ref=766f1ec0edcfef620c70baac7fd2790a01baa324',
4745
4745
  },
4746
4746
  {
4747
4747
  byteSize: 12858,
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "tm-grammars",
3
3
  "type": "module",
4
- "version": "1.32.12",
4
+ "version": "1.32.13",
5
5
  "description": "Collecton of TextMate grammars in JSON",
6
6
  "author": "Anthony Fu <anthonyfu117@hotmail.com>",
7
7
  "license": "MIT",