From f4eea33c534c4468c9fefa0591970e1e26471c9f Mon Sep 17 00:00:00 2001 From: fgdorais <3247514+fgdorais@users.noreply.github.com> Date: Wed, 17 Dec 2025 09:05:21 +0000 Subject: [PATCH 1/4] chore: update toolchain nightly-2025-12-17 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 87b20aaf8..105d47289 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.29.0-rc6 +leanprover/lean4:nightly-2025-12-17 From dfbb53eab2af6f96a5cad641386658abf075b502 Mon Sep 17 00:00:00 2001 From: "F. G. Dorais" Date: Tue, 17 Feb 2026 09:54:15 -0500 Subject: [PATCH 2/4] chore: update toolchain v4.29.0-rc1 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 105d47289..c7ad81a70 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2025-12-17 +leanprover/lean4:v4.29.0-rc1 From e212c4f2ba4505bf5762a7c5959a3984d3b4cbc9 Mon Sep 17 00:00:00 2001 From: "F. G. Dorais" Date: Sun, 22 Mar 2026 16:04:57 -0400 Subject: [PATCH 3/4] fix: docstring edit --- UnicodeBasic.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/UnicodeBasic.lean b/UnicodeBasic.lean index e6d0d91e3..b55675191 100644 --- a/UnicodeBasic.lean +++ b/UnicodeBasic.lean @@ -49,7 +49,7 @@ namespace Unicode /-- Get character name When the Unicode property `Name` is empty, a unique code label is returned - as described in Unicode Standard, section 4.8. These labels start with + as recommended in Unicode Standard, section 4.8. These labels start with `'<'` (U+003C) and end with `'>'` (U+003E) so they are distinguishable from actual name values. From 0f43ae98a3358beb4249770f6dba1f04e2858f9d Mon Sep 17 00:00:00 2001 From: fgdorais <3247514+fgdorais@users.noreply.github.com> Date: Mon, 23 Mar 2026 04:39:11 +0000 Subject: [PATCH 4/4] chore: update toolchain v4.29.0-rc7 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index c7ad81a70..4d6fa16ed 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.29.0-rc1 +leanprover/lean4:v4.29.0-rc7