tm-grammars 1.22.15 → 1.22.16

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 +1 -1
  2. package/grammars/coq.json +1 -1
  3. package/index.js +5 -5
  4. package/package.json +1 -1
package/README.md CHANGED
@@ -53,7 +53,7 @@ import { grammars } from 'tm-grammars'
53
53
  | `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) | | 31.84 kB |
54
54
  | `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` | 26.11 kB |
55
55
  | `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) | | 26.12 kB |
56
- | `coq` | | [coq-community/vscoq](https://github.com/coq-community/vscoq/blob/fd167d6d78d2085e86a0bbbd18d37f732e9d1396/client/syntax/coq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/coq/vscoq/main/LICENSE) | | 4.99 kB |
56
+ | `coq` | | [coq-community/vscoq](https://github.com/coq-community/vscoq/blob/6173968fd4b7177c60d355b2a0da30ec3a0d4351/client/syntax/coq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/coq/vscoq/main/LICENSE) | | 4.99 kB |
57
57
  | `cpp` | `c++` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/6ac83c7c7dda9f27ca1fe9d98675253e010b75d1/extensions/cpp/syntaxes/cpp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | `cpp-macro` `regexp` `glsl` `sql` | 410.92 kB |
58
58
  | `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.62 kB |
59
59
  | `csharp` | `c#` `cs` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/c9948b69ee93cebd049925aa9d6176589863644c/extensions/csharp/syntaxes/csharp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | 81.48 kB |
package/grammars/coq.json CHANGED
@@ -98,7 +98,7 @@
98
98
  "match": "\\b(Ltac)\\s+((\\p{L}|[_\\u00A0])(\\p{L}|[0-9_\\u00A0'])*)"
99
99
  },
100
100
  {
101
- "match": "\\b(Hint|Constructors|Resolve|Rewrite|Ltac|Implicit(\\s+Types)?|Set|Unset|Remove\\s+Printing|Arguments|Tactic\\s+Notation|Notation|Infix|Reserved\\s+Notation|Section|Module\\s+Type|Module|End|Check|Print|Eval|Search|Universe|Coercions?|Generalizable\\s+All|Generalizable\\s+Variable?|Existing\\s+Instance|Existing\\s+Class|Canonical|About|Locate|Collection|Typeclasses\\s+(Opaque|Transparent))\\b",
101
+ "match": "\\b(Hint|Constructors|Resolve|Rewrite|Ltac|Implicit(\\s+Types)?|Set|Unset|Remove\\s+Printing|Arguments|Tactic\\s+Notation|Notation|Infix|Reserved\\s+Notation|Section|Module\\s+Type|Module|End|Check|Print|Eval|Compute|Search|Universe|Coercions?|Generalizable\\s+All|Generalizable\\s+Variable?|Existing\\s+Instance|Existing\\s+Class|Canonical|About|Locate|Collection|Typeclasses\\s+(Opaque|Transparent))\\b",
102
102
  "name": "keyword.source.coq"
103
103
  },
104
104
  {
package/index.js CHANGED
@@ -578,19 +578,19 @@ export const grammars = [
578
578
  source: 'https://github.com/qingpeng9802/vscode-common-lisp/blob/79d04dc9ca80d98e65c4f28b3d67a24a7829b18f/syntaxes/commonlisp.tmLanguage.json',
579
579
  },
580
580
  {
581
- byteSize: 5106,
581
+ byteSize: 5114,
582
582
  categories: [
583
583
  'general',
584
584
  ],
585
585
  displayName: 'Coq',
586
- hash: '81HAmAlUu5',
587
- lastUpdate: '2024-10-28T17:35:18Z',
586
+ hash: 'MmWE0B5BF9',
587
+ lastUpdate: '2025-02-18T14:07:02Z',
588
588
  license: 'MIT',
589
589
  licenseUrl: 'https://raw.githubusercontent.com/coq/vscoq/main/LICENSE',
590
590
  name: 'coq',
591
591
  scopeName: 'source.coq',
592
- sha: 'fd167d6d78d2085e86a0bbbd18d37f732e9d1396',
593
- source: 'https://github.com/coq-community/vscoq/blob/fd167d6d78d2085e86a0bbbd18d37f732e9d1396/client/syntax/coq.tmLanguage.json',
592
+ sha: '6173968fd4b7177c60d355b2a0da30ec3a0d4351',
593
+ source: 'https://github.com/coq-community/vscoq/blob/6173968fd4b7177c60d355b2a0da30ec3a0d4351/client/syntax/coq.tmLanguage.json',
594
594
  },
595
595
  {
596
596
  aliases: [
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "tm-grammars",
3
3
  "type": "module",
4
- "version": "1.22.15",
4
+ "version": "1.22.16",
5
5
  "description": "Collecton of TextMate grammars in JSON",
6
6
  "author": "Anthony Fu <anthonyfu117@hotmail.com>",
7
7
  "license": "MIT",