John Cavanaugh 
							
						 
					 
					
						
						
							
						
						bb8c5657e1 
					 
					
						
						
							
							fix:  🐛  allow three-part range parsing  
						
						... 
						
						
						
						fix(src/line_range.rs): 🐛  support three-part (start:end:context) syntax, clamp lower at zero and extend upper, and add tests for invalid formats 
						
						
					 
					
						2025-07-15 16:36:58 -07:00 
						 
				 
			
				
					
						
							
							
								John Cavanaugh 
							
						 
					 
					
						
						
							
						
						dc2eae08a6 
					 
					
						
						
							
							docs:  📚  update changelog for range context support  
						
						... 
						
						
						
						docs(CHANGELOG.md): 📚  add entry for context in line ranges and normalize list formatting
style(src/line_range.rs): 🎨  trim trailing whitespace in context parsing code 
						
						
					 
					
						2025-07-15 16:25:28 -07:00 
						 
				 
			
				
					
						
							
							
								John Cavanaugh 
							
						 
					 
					
						
						
							
						
						6c13a98f01 
					 
					
						
						
							
							feat:  ✨  add context support to line-range syntax  
						
						... 
						
						
						
						docs(long-help.txt): 📚  add examples for N::C and N:M:C context syntax
docs(clap_app.rs): 📚  update CLI help text with context syntax examples
feat(line_range.rs): ✨  implement N::C and N:M:C parsing and add tests 
						
						
					 
					
						2025-07-15 16:17:09 -07:00 
						 
				 
			
				
					
						
							
							
								Justin Su 
							
						 
					 
					
						
						
							
						
						1ad294dcd3 
					 
					
						
						
							
							Add missing apostrophe in "bats"  
						
						
						
						
					 
					
						2025-07-15 17:30:50 +02:00 
						 
				 
			
				
					
						
							
							
								Justin Su 
							
						 
					 
					
						
						
							
						
						806df574e7 
					 
					
						
						
							
							Use relative links in README.md  
						
						
						
						
					 
					
						2025-07-15 17:30:50 +02:00 
						 
				 
			
				
					
						
							
							
								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...3f2561d4d8support@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...c438c352dbsupport@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