release: 4.0.0

leanprover · Aug 6, 2022 · b899c0a · b899c0a
1 parent e1d43a7
commit b899c0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Lake/Version.lean b/Lake/Version.lean
@@ -10,7 +10,7 @@ def version.major := 4
 def version.minor := 0
 def version.patch := 0
 
-def version.isPrerelease := true
+def version.isPrerelease := false
 def version.isRelease := !isPrerelease
 def version.specialDesc := if isPrerelease then "pre" else ""