HE7086
9b580c7a98
Update documentation for git diff
2025-07-15 07:49:46 +02:00
anand-dragon
7c8e2324ab
[3040]: Add Alias hint on README
2025-07-15 07:04:14 +02:00
cyqsimon
555933315d
Only start offload worker thread when there's more than 1 core ( #2956 )
...
* Only start offload worker thread when there's more than 1 core
* Write changelog
2025-07-15 05:21:00 +02:00
Stéphane Blondon
9121746f05
test: code coverage for list-languages parameter
2025-07-14 16:40:14 +02:00
Keith Hall
f1d45da676
Merge pull request #3333 from SchweGELBin/catppuccin-update
...
Bump Catppuccin from 19c4453 to ccf194f
2025-07-11 20:41:39 +03:00
SchweGELBin
cf147a440e
docs(changelog): update catppuccin theme
2025-07-11 20:29:29 +03:00
SchweGELBin
a3a23e5759
binary: update to support newer Catppuccin theme
2025-07-11 20:29:29 +03:00
SchweGELBin
bc7d1cd44a
theme: bump Catppuccin from 19c4453 to ccf194f
2025-07-11 20:29:29 +03:00
Keith Hall
735fb7be0e
Merge pull request #3322 from YDX-2147483647/lean
...
Update Lean.sublime-syntax from Lean 3 to Lean 4
2025-07-11 20:28:18 +03:00
Y.D.X.
4661f22e81
Merge remote-tracking branch 'upstream/master' into lean
2025-07-11 13:03:06 +08:00
Y.D.X. (Gitpod)
bfd8776042
chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
dependabot[bot]
e8ff13cd53
Bump toml from 0.8.19 to 0.8.23 ( #3332 )
...
---
updated-dependencies:
- dependency-name: toml
dependency-version: 0.8.23
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-10 21:18:15 +00:00
dependabot[bot]
1771f6da8d
Bump flate2 from 1.0.35 to 1.1.2 ( #3331 )
...
---
updated-dependencies:
- dependency-name: flate2
dependency-version: 1.1.2
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-10 21:02:31 +00:00
Keith Hall
e888e968b6
Merge pull request #3340 from cyqsimon/syntax-mapping-build-script-use-quote
...
Build script: replace string-based codegen with `quote`-based codegen
2025-07-10 23:46:54 +03:00
cyqsimon
68df079c0e
Add improvement note on parse
+ unparse
2025-07-10 23:31:12 +03:00
cyqsimon
563c4c290d
Consistent spaces in quote!
invocations
2025-07-10 23:31:12 +03:00
cyqsimon
ffbcfd53f9
Write changelog
2025-07-10 23:31:12 +03:00
cyqsimon
fd12328293
Build script: replace string-based codegen with quote
-based codegen
2025-07-10 23:31:12 +03:00
Keith Hall
b387abea6b
Merge pull request #3342 from krikera/master
...
docs(man): update --style documentation with priority rules
2025-07-10 23:30:05 +03:00
Krishna Ketan Rai
efdd038fa4
docs(man): update --style documentation with priority rules
2025-07-10 02:11:35 +05:30
dependabot[bot]
94b699d8df
Bump assets/syntaxes/02_Extra/typst-syntax-highlight ( #3330 )
...
Bumps [assets/syntaxes/02_Extra/typst-syntax-highlight](https://github.com/hyrious/typst-syntax-highlight ) from `1bde1ea` to `3f2561d`.
- [Commits](1bde1ea511...3f2561d4d8
)
---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/typst-syntax-highlight
dependency-version: 3f2561d4d891f9f326fa70f9f06b6e99fda8adc3
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-09 19:47:43 +00:00
Keith Hall
226efecdd6
Merge pull request #3337 from JerryImMouse/syntax-vhdl
...
Add syntax highlighting for VHDL language
2025-07-09 22:31:26 +03:00
Jerry
a0b4397ddf
Merge branch 'master' into syntax-vhdl
2025-07-09 04:33:36 +05:00
Keith Hall
c18f5e054e
Merge pull request #3338 from cyqsimon/certbot
...
Add syntax mapping for certbot certificate configuration
2025-07-08 23:44:37 +03:00
cyqsimon
360d43dd4d
Write changelog
2025-07-08 23:33:41 +03:00
cyqsimon
e0165a2d6a
Add syntax mapping for certbot certificate configuration
2025-07-08 23:33:41 +03:00
Jerry
9776ebfa0f
Send errors to stderr ( #3336 )
...
* fix: send errors to stderr by default (#2561 )
Closes #2561
* chore: add changelog entry
* chore: change PR id
* chore: add github username
* chore: cargo fmt...
* chore: move changelog line to bugfixes
2025-07-08 20:42:22 +02:00
Jerry
eda3ecb0b3
Merge branch 'master' into syntax-vhdl
2025-07-08 17:48:10 +05:00
cyqsimon
cf7631d469
CICD: replace windows-2019 runners with windows-2025 ( #3339 )
...
* CICD: replace windows-2019 runners with windows-2025
See https://github.com/actions/runner-images/issues/12045
* Write changelog
2025-07-08 12:37:06 +02:00
JerryImMouse
185a2f3437
chore: update pr number in changelog
2025-07-07 19:37:06 +05:00
JerryImMouse
bdc971eca3
feat(syntax): add syntax highlighting for VHDL
2025-07-07 19:20:23 +05:00
Y.D.X.
288b7e9ca3
docs: Add Lean/LICENSE.md
...
> Jeremy Avigad:
> Patrick and I decided that it makes sense to release the text of MIL under CC BY 4.0 and the repository code (exercises, solutions, etc.) under Apache 2.0. We'll put the Apache license in the repo and figure out where to at the CC BY notice, but in the meantime, you can take this message as a declaration.
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/License.20of.20Mathematics.20in.20Lean.3F/near/523527618
2025-06-11 22:06:52 +08:00
Y.D.X.
a9d5880dc8
docs: Update CHANGELOG, allow CC BY 4.0 license, and fix a markdown backquote
2025-06-10 17:44:10 +08:00
Y.D.X.
0918984249
Update Lean.sublime-syntax from Lean 3 to Lean 4
...
Resolves #3286
1. `lean4.json` → `lean4.tmLanguage`
1. Download `vscode-lean4/syntaxes/lean4.json` from https://github.com/leanprover/vscode-lean4/pull/623 (now merged).
2. Install the VS Code extension [TextMate Languages (pedro-w)](https://marketplace.visualstudio.com/items?itemName=pedro-w.tmlanguage ).
3. Open `lean4.json` in VS Code, <kbd>F1</kbd>, and “Convert to tmLanguage PLIST File”.
2. `lean4.tmLanguage` → `lean4.sublime-syntax`
Open `lean4.tmLanguage` in Sublime text, “Tools → Developer → New Syntax from lean4.tmLanguage…”.
2025-06-10 17:41:33 +08:00
Keith Hall
e2aa4bc33c
Merge pull request #3320 from krikera/add-mill-syntax-mapping
...
Add syntax mapping for Mill build tool files to use Scala syntax
2025-06-02 19:50:38 +03:00
krikera
9d3db318e3
Add syntax mapping for Mill build tool files to use Scala syntax
2025-06-01 22:03:54 +05:30
dependabot[bot]
5aa123b4f0
Bump assets/syntaxes/02_Extra/Apache from cf6cefc
to c438c35
( #3318 )
...
Bumps [assets/syntaxes/02_Extra/Apache](https://github.com/colinta/ApacheConf.tmLanguage ) from `cf6cefc` to `c438c35`.
- [Commits](cf6cefc51e...c438c352db
)
---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/Apache
dependency-version: c438c352db7dd59c7bc0849134b1bab9b338a36e
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-06-01 02:13:57 +00:00
Keith Hall
f11d34997a
Merge pull request #3317 from SchweGELBin/catppuccin
...
Themes: Add Catppuccin
2025-05-31 16:50:34 +03:00
SchweGELBin
510814410c
docs(changelog): add catppuccin theme
2025-05-31 15:05:44 +02:00
SchweGELBin
e4bae61393
binary: update to support Catppuccin
2025-05-31 14:57:44 +02:00
SchweGELBin
4cfc50c358
theme: add Catppuccin
2025-05-31 14:56:10 +02:00
Keith Hall
6886cdaace
Merge pull request #3315 from krikera/fix-utf8-bom-syntax-detection
...
Fix UTF-8 BOM file type detection for first-line syntax patterns
2025-05-31 14:45:50 +03:00
krikera
17e6952ab8
Fix UTF-8 BOM file type detection for first-line syntax patterns - Fixes #3314
2025-05-31 02:58:47 +05:30
Keith Hall
0da4084064
Merge pull request #3300 from cskeeters/syntax_typst
...
Adds Typst syntax from hyrious/typst-syntax-highlight
2025-05-21 05:47:26 +03:00
Chad Skeeters
4c9a51990c
Corrects spelling mistake in syntax-test for Typst
2025-05-20 16:35:47 -05:00
Chad Skeeters
36a86d34e8
Adds changelog entry
2025-05-20 14:50:53 -05:00
Chad Skeeters
fb514ca90f
Adds Typst syntax from hyrious/typst-syntax-highlight
2025-05-20 14:43:21 -05:00
Keith Hall
aa5e28bef5
Merge pull request #3299 from cyqsimon/quadlet
...
Update quadlet syntax mapping rules to cover quadlets in subdirectories
2025-05-20 21:40:43 +03:00
cyqsimon
5dc3d8c936
Write changelog
2025-05-20 15:33:57 +08:00
cyqsimon
a4ffe2fdbf
Update quadlet syntax mapping rules to cover quadlets in subdirectories
2025-05-20 15:22:55 +08:00