Update release history for October 2023

leanprover · Oct 3, 2023 · 533fcaf · 533fcaf
1 parent 432ffaa
commit 533fcaf
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/functional-programming-lean/src/title.md b/functional-programming-lean/src/title.md
@@ -10,6 +10,10 @@ This is a free book on using Lean 4 as a programming language. All code samples
 
 ## Release history
 
+### October, 2023
+
+In this first maintenance release, a number of smaller issues were fixed and the text was brought up to date with the latest release of Lean.
+
 ### May, 2023
 
 The book is now complete! Compared to the April pre-release, many small details have been improved and minor mistakes have been fixed.