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 
						 
				 
			
				
					
						
							
							
								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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Zane 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Jamy Golden 
							
						 
					 
					
						
						
							
						
						861b868416 
					 
					
						
						
							
							Update base16 urls to link to community run version  
						
						
						
						
					 
					
						2025-05-14 19:01:50 +02:00 
						 
				 
			
				
					
						
							
							
								David Peter 
							
						 
					 
					
						
						
							
						
						b7f9662097 
					 
					
						
						
							
							Update README.md  
						
						
						
						
					 
					
						2025-05-05 08:46:01 +02:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Integral 
							
						 
					 
					
						
						
							
						
						4e9bb610b3 
					 
					
						
						
							
							docs(README): fix broken link of Visual C++ Redistributable  
						
						
						
						
					 
					
						2025-05-01 13:33:43 +02:00 
						 
				 
			
				
					
						
							
							
								dependabot[bot] 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						0b48eab7a6 
					 
					
						
						
							
							Merge pull request  #3276  from forkeith/livescript_fix  
						
						... 
						
						
						
						remove LiveScript submodule 
						
						
					 
					
						2025-04-30 22:42:30 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						96ea42e5f4 
					 
					
						
						
							
							Merge branch 'master' into patch-1  
						
						
						
						
					 
					
						2025-04-15 21:25:32 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						2ff2a818ef 
					 
					
						
						
							
							Merge pull request  #3068  from ajesipow/read-from-tail  
						
						... 
						
						
						
						Support relative negative line ranges 
						
						
					 
					
						2025-04-15 21:16:39 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						dd694c266e 
					 
					
						
						
							
							Merge branch 'master' into patch-1  
						
						
						
						
					 
					
						2025-04-15 21:00:19 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						c4461f7d78 
					 
					
						
						
							
							Merge branch 'master' into read-from-tail  
						
						
						
						
					 
					
						2025-04-15 20:59:51 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						b9fcc5ae2d 
					 
					
						
						
							
							use latest Ubuntu for CI jobs now that GitHub deprecated 20.04  
						
						
						
						
					 
					
						2025-04-15 20:30:56 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						e42883bf2c 
					 
					
						
						
							
							Merge branch 'master' into read-from-tail  
						
						
						
						
					 
					
						2025-04-15 20:27:26 +03:00 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						5c41a45931 
					 
					
						
						
							
							Merge branch 'master' into patch-1  
						
						
						
						
					 
					
						2025-04-15 20:09:50 +03:00 
						 
				 
			
				
					
						
							
							
								dependabot[bot] 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								dependabot[bot] 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								dependabot[bot] 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Keith Hall 
							
						 
					 
					
						
						
							
						
						93be82ebc9 
					 
					
						
						
							
							Merge pull request  #3236  from chetanjangir0/add-gdscript-support  
						
						... 
						
						
						
						Add GDScript Syntax Support (#3233 ) 
						
						
					 
					
						2025-04-13 12:31:26 +03:00