tm-grammars 1.23.23 → 1.23.24

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 (5) hide show
  1. package/NOTICE +1 -1
  2. package/README.md +1 -1
  3. package/grammars/coq.json +1 -1
  4. package/index.js +7 -7
  5. package/package.json +1 -1
package/NOTICE CHANGED
@@ -2294,7 +2294,7 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
2294
2294
  SOFTWARE.
2295
2295
  =========================================================================================================
2296
2296
  Files: coq.json
2297
- License: https://raw.githubusercontent.com/rocq-prover/vscoq/main/LICENSE
2297
+ License: https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE
2298
2298
  SPDX: MIT
2299
2299
  ---------------------------------------------------------------------------------------------------------
2300
2300
  MIT License
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) | | | 25.78 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` | 25.88 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) | | | 21.55 kB |
56
- | `coq` | | [coq-community/vscoq](https://github.com/coq-community/vscoq/blob/e41917563836906011e78002b203b89fdd4bf699/client/syntax/coq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/rocq-prover/vscoq/main/LICENSE) | | | 5.08 kB |
56
+ | `coq` | | [coq-community/vscoq](https://github.com/coq-community/vscoq/blob/201351854c2f8397701d8cf51d923f5a7946a8a2/client/syntax/coq.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE) | | | 5.11 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` | 372.71 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.39 kB |
59
59
  | `csharp` | `c#` `cs` | [microsoft/vscode](https://github.com/microsoft/vscode/blob/a26707320440021f45b508767c94c2634eb6e897/extensions/csharp/syntaxes/csharp.tmLanguage.json) | [MIT](https://raw.githubusercontent.com/microsoft/vscode/main/LICENSE.txt) | | | 80.40 kB |
package/grammars/coq.json CHANGED
@@ -144,7 +144,7 @@
144
144
  "name": "keyword.control.ltac"
145
145
  },
146
146
  {
147
- "match": "\\b(match|lazymatch|multimatch|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\b|λ",
147
+ "match": "\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\b|λ",
148
148
  "name": "keyword.control.gallina"
149
149
  },
150
150
  {
package/index.js CHANGED
@@ -697,22 +697,22 @@ export const grammars = [
697
697
  sourceApi: 'https://api.github.com/repos/qingpeng9802/vscode-common-lisp/contents/syntaxes/commonlisp.tmLanguage.json?ref=79d04dc9ca80d98e65c4f28b3d67a24a7829b18f',
698
698
  },
699
699
  {
700
- byteSize: 5203,
700
+ byteSize: 5235,
701
701
  categories: [
702
702
  'general',
703
703
  ],
704
704
  displayName: 'Coq',
705
705
  funding: [
706
706
  ],
707
- hash: 'CLukU5_Rri26_Sg4Y1ye0bOlGZG80zIiispfgJXXkc0',
708
- lastUpdate: '2025-05-09T08:17:16Z',
707
+ hash: 'rKbKow-2GyoGjnPqSklzBqUqs4b7pjSO0VNBGOM6O2I',
708
+ lastUpdate: '2025-05-22T15:18:27Z',
709
709
  license: 'MIT',
710
- licenseUrl: 'https://raw.githubusercontent.com/rocq-prover/vscoq/main/LICENSE',
710
+ licenseUrl: 'https://raw.githubusercontent.com/rocq-prover/vsrocq/main/LICENSE',
711
711
  name: 'coq',
712
712
  scopeName: 'source.coq',
713
- sha: 'e41917563836906011e78002b203b89fdd4bf699',
714
- source: 'https://github.com/coq-community/vscoq/blob/e41917563836906011e78002b203b89fdd4bf699/client/syntax/coq.tmLanguage.json',
715
- sourceApi: 'https://api.github.com/repos/coq-community/vscoq/contents/client/syntax/coq.tmLanguage.json?ref=e41917563836906011e78002b203b89fdd4bf699',
713
+ sha: '201351854c2f8397701d8cf51d923f5a7946a8a2',
714
+ source: 'https://github.com/coq-community/vscoq/blob/201351854c2f8397701d8cf51d923f5a7946a8a2/client/syntax/coq.tmLanguage.json',
715
+ sourceApi: 'https://api.github.com/repos/coq-community/vscoq/contents/client/syntax/coq.tmLanguage.json?ref=201351854c2f8397701d8cf51d923f5a7946a8a2',
716
716
  },
717
717
  {
718
718
  aliases: [
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "tm-grammars",
3
3
  "type": "module",
4
- "version": "1.23.23",
4
+ "version": "1.23.24",
5
5
  "description": "Collecton of TextMate grammars in JSON",
6
6
  "author": "Anthony Fu <anthonyfu117@hotmail.com>",
7
7
  "license": "MIT",