185a2f3437
chore: update pr number in changelog
2025-07-07 19:37:06 +05:00
bdc971eca3
feat(syntax): add syntax highlighting for VHDL
2025-07-07 19:20:23 +05:00
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
a9d5880dc8
docs: Update CHANGELOG, allow CC BY 4.0 license, and fix a markdown backquote
2025-06-10 17:44:10 +08:00
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
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
9d3db318e3
Add syntax mapping for Mill build tool files to use Scala syntax
2025-06-01 22:03:54 +05:30
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...c438c352dbsupport@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-06-01 02:13:57 +00:00
f11d34997a
Merge pull request #3317 from SchweGELBin/catppuccin
...
Themes: Add Catppuccin
2025-05-31 16:50:34 +03:00
510814410c
docs(changelog): add catppuccin theme
2025-05-31 15:05:44 +02:00
e4bae61393
binary: update to support Catppuccin
2025-05-31 14:57:44 +02:00
4cfc50c358
theme: add Catppuccin
2025-05-31 14:56:10 +02:00
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
17e6952ab8
Fix UTF-8 BOM file type detection for first-line syntax patterns - Fixes #3314
2025-05-31 02:58:47 +05:30
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
4c9a51990c
Corrects spelling mistake in syntax-test for Typst
2025-05-20 16:35:47 -05:00
36a86d34e8
Adds changelog entry
2025-05-20 14:50:53 -05:00
fb514ca90f
Adds Typst syntax from hyrious/typst-syntax-highlight
2025-05-20 14:43:21 -05:00
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
5dc3d8c936
Write changelog
2025-05-20 15:33:57 +08:00
a4ffe2fdbf
Update quadlet syntax mapping rules to cover quadlets in subdirectories
2025-05-20 15:22:55 +08:00
c32fa662d5
Merge pull request #3298 from ZaneErebos/patch-2
...
Clarify situation in which man page and shell completions will be accessible when building from source
2025-05-19 04:42:28 +03:00
0a9588a866
Clarify situation in which man page and shell completions will be accessible when building from source
2025-05-18 21:00:59 -04:00
861b868416
Update base16 urls to link to community run version
2025-05-14 19:01:50 +02:00
b7f9662097
Update README.md
2025-05-05 08:46:01 +02:00
79ecb11ce2
Add new sponsor Graphite to Readme ( #3270 )
...
* Add new sponsor Graphite to Readme
* hide bullet points in sponsors section of readme
* remove bullet points
2025-05-05 08:44:24 +02:00
4e9bb610b3
docs(README): fix broken link of Visual C++ Redistributable
2025-05-01 13:33:43 +02:00
c88faf8cfa
Bump assets/themes/zenburn from 9c588eb to 4f21745 ( #3277 )
...
Bumps [assets/themes/zenburn](https://github.com/colinta/zenburn ) from `9c588eb` to `4f21745`.
- [Commits](9c588ebc11...4f21745723support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-05-01 03:10:48 +00:00
0b48eab7a6
Merge pull request #3276 from forkeith/livescript_fix
...
remove LiveScript submodule
2025-04-30 22:42:30 +03:00
ccfbd1ee31
remove LiveScript submodule
...
the repo has gone away, causing all our CI etc. to break
we can keep the highlighting though because we have a .sublime-syntax file
2025-04-30 22:32:48 +03:00
98c9a5d948
Merge pull request #3263 from gthb/patch-1
...
Fix copy-paste mistake in bat.1.in
2025-04-15 21:55:35 +03:00
96ea42e5f4
Merge branch 'master' into patch-1
2025-04-15 21:25:32 +03:00
2ff2a818ef
Merge pull request #3068 from ajesipow/read-from-tail
...
Support relative negative line ranges
2025-04-15 21:16:39 +03:00
dd694c266e
Merge branch 'master' into patch-1
2025-04-15 21:00:19 +03:00
c4461f7d78
Merge branch 'master' into read-from-tail
2025-04-15 20:59:51 +03:00
77de5160ac
Merge pull request #3266 from sharkdp/fix_ci
...
use latest Ubuntu for CI jobs now that GitHub deprecated 20.04
2025-04-15 20:59:14 +03:00
b9fcc5ae2d
use latest Ubuntu for CI jobs now that GitHub deprecated 20.04
2025-04-15 20:30:56 +03:00
e42883bf2c
Merge branch 'master' into read-from-tail
2025-04-15 20:27:26 +03:00
5c41a45931
Merge branch 'master' into patch-1
2025-04-15 20:09:50 +03:00
ba49ba0acd
Bump assets/themes/zenburn from 86d4ee7 to 9c588eb ( #3251 )
...
Bumps [assets/themes/zenburn](https://github.com/colinta/zenburn ) from `86d4ee7` to `9c588eb`.
- [Commits](86d4ee7a1f...9c588ebc11support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-04-13 10:36:54 +00:00
5d75632c8e
Bump assets/syntaxes/02_Extra/PowerShell from c0372a1 to a08b55b ( #3252 )
...
Bumps [assets/syntaxes/02_Extra/PowerShell](https://github.com/PowerShell/EditorSyntax ) from `c0372a1` to `a08b55b`.
- [Commits](c0372a1d2d...a08b55bf11support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-04-13 10:14:09 +00:00
e202a33ea1
Bump assets/syntaxes/02_Extra/Apache from 163bc03 to cf6cefc ( #3253 )
...
Bumps [assets/syntaxes/02_Extra/Apache](https://github.com/colinta/ApacheConf.tmLanguage ) from `163bc03` to `cf6cefc`.
- [Commits](163bc03ae8...cf6cefc51esupport@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-04-13 09:50:51 +00:00
93be82ebc9
Merge pull request #3236 from chetanjangir0/add-gdscript-support
...
Add GDScript Syntax Support (#3233 )
2025-04-13 12:31:26 +03:00
0bf4753ff1
Update CHANGELOG.md
...
Co-authored-by: Keith Hall <keith-hall@users.noreply.github.com >
2025-04-13 14:51:53 +05:30
fbb07a1494
Merge branch 'master' into add-gdscript-support
2025-04-13 10:00:58 +05:30
debb66f8b0
Merge pull request #3262 from AdamGaskins/bash-zsh
...
Fix syntax highlighting for bash/zsh
2025-04-12 18:21:01 +03:00
45185b36fb
Merge branch 'master' into bash-zsh
2025-04-12 11:09:33 -04:00
e761d79512
Update CHANGELOG.md
...
Co-authored-by: Keith Hall <keith-hall@users.noreply.github.com >
2025-04-12 11:08:57 -04:00
14064dd987
regenerated the highlighted file
2025-04-12 19:14:15 +05:30
3eef8590f4
genereated highlighted syntax test file
2025-04-12 18:00:43 +05:30
