docs: Update CHANGELOG, allow CC BY 4.0 license, and fix a markdown backquote

2025-10-31 07:04:04 +00:00 · 2025-06-10 17:16:17 +08:00
parent 0918984249
commit a9d5880dc8
3 changed files with 5 additions and 1 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -36,6 +36,7 @@
 - Update quadlet syntax mapping rules to cover quadlets in subdirectories #3299 (@cyqsimon)
 - Add syntax Typst #3300 (@cskeeters)
 - Map `.mill` files to Scala syntax for Mill build tool configuration files #3311 (@krikera)
+- Update Lean syntax from Lean 3 to Lean 4 #3322 (@YDX-2147483647)

 ## Themes