Ferenc Géczi 
							
						 
					 
					
						
						
							
						
						bac58be1ee 
					 
					
						
						
							
							Add entry to CHANGELOG.md  
						
						... 
						
						
						
						Signed-off-by: Ferenc Géczi <ferenc.gm@gmail.com > 
						
						
					 
					
						2025-07-31 00:00:00 +00:00 
						 
				 
			
				
					
						
							
							
								Ferenc Géczi 
							
						 
					 
					
						
						
							
						
						20caaf26c8 
					 
					
						
						
							
							Add syntax mapping for flatpakrepo  
						
						... 
						
						
						
						Signed-off-by: Ferenc Géczi <ferenc.gm@gmail.com > 
						
						
					 
					
						2025-07-31 00:00:00 +00:00 
						 
				 
			
				
					
						
							
							
								Ferenc Géczi 
							
						 
					 
					
						
						
							
						
						3574118e17 
					 
					
						
						
							
							Add syntax mapping for flatpakref  
						
						... 
						
						
						
						Signed-off-by: Ferenc Géczi <ferenc.gm@gmail.com > 
						
						
					 
					
						2025-07-31 00:00:00 +00:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						847b717cdf 
					 
					
						
						
							
							Merge pull request  #3351  from musicinmybrain/console-0.16  
						
						... 
						
						
						
						Update console dependency from 0.15.10 to 0.16.0 
						
						
					 
					
						2025-07-23 15:19:11 +03:00 
						 
				 
			
				
					
						
							
							
								Benjamin A. Beasley 
							
						 
					 
					
						
						
							
						
						3dfb51b25d 
					 
					
						
						
							
							Add changelog entry for PR#3351  
						
						
						
						
					 
					
						2025-07-23 08:04:24 -04:00 
						 
				 
			
				
					
						
							
							
								Benjamin A. Beasley 
							
						 
					 
					
						
						
							
						
						d0b5dd8977 
					 
					
						
						
							
							Update Cargo.lock for console 0.16.0  
						
						
						
						
					 
					
						2025-07-23 07:57:07 -04:00 
						 
				 
			
				
					
						
							
							
								Benjamin A. Beasley 
							
						 
					 
					
						
						
							
						
						23d97eb4a8 
					 
					
						
						
							
							Update console dependency to 0.16.0  
						
						
						
						
					 
					
						2025-07-23 07:56:46 -04:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						8bc4e76e47 
					 
					
						
						
							
							Merge pull request  #3347  from bash/terminal-colorsaurus-1.0  
						
						... 
						
						
						
						Update terminal-colorsaurus to 1.0 
						
						
					 
					
						2025-07-22 21:19:24 +03:00 
						 
				 
			
				
					
						
							
							
								Tau Gärtli 
							
						 
					 
					
						
						
							
						
						38762724f5 
					 
					
						
						
							
							Add changelog entry  
						
						
						
						
					 
					
						2025-07-22 07:28:16 +02:00 
						 
				 
			
				
					
						
							
							
								Tau Gärtli 
							
						 
					 
					
						
						
							
						
						feb0bc1ae6 
					 
					
						
						
							
							Update terminal-colorsaurus to 1.0  
						
						
						
						
					 
					
						2025-07-22 07:15:52 +02:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						872d0baafb 
					 
					
						
						
							
							Merge pull request  #3206  from sharkdp/make_map_syntax_case_insensitive  
						
						... 
						
						
						
						Make map-syntax target case insensitive 
						
						
					 
					
						2025-07-17 22:31:54 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						35c3f065a3 
					 
					
						
						
							
							Update changelog  
						
						
						
						
					 
					
						2025-07-17 22:20:42 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						8b12191bda 
					 
					
						
						
							
							Make map-syntax target case insensitive  
						
						
						
						
					 
					
						2025-07-17 22:19:54 +03:00 
						 
				 
			
				
					
						
							
							
								Martin Nordholts 
							
						 
					 
					
						
						
							
						
						90b2c57951 
					 
					
						
						
							
							Stop auto-merge dependabot PRs  
						
						... 
						
						
						
						Our CI runs a fair amount of unaudited third party code. I'd like to
stop using my Personal Access Token until we have had time to security
harden our CI. 
						
						
					 
					
						2025-07-17 19:42:34 +02:00 
						 
				 
			
				
					
						
							
							
								dependabot[bot] 
							
						 
					 
					
						
						
							
						
						91c95d8ba7 
					 
					
						
						
							
							Bump unicode-width from 0.1.14 to 0.2.0 ( #3225 )  
						
						... 
						
						
						
						Bumps [unicode-width](https://github.com/unicode-rs/unicode-width ) from 0.1.14 to 0.2.0.
- [Commits](https://github.com/unicode-rs/unicode-width/compare/v0.1.14...v0.2.0 )
---
updated-dependencies:
- dependency-name: unicode-width
  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-16 17:01:06 +00:00 
						 
				 
			
				
					
						
							
							
								TR Staake 
							
						 
					 
					
						
						
							
						
						2015c99e65 
					 
					
						
						
							
							Update README.md  
						
						... 
						
						
						
						Added note about escaping alias when using help aliasing in zsh 
						
						
					 
					
						2025-07-16 18:44:42 +02: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