doc: Add changelog to users guide. (#708)

Co-authored-by: David Thrane Christiansen <[email protected]>

Author: ejgallego

doc/UsersGuide/Basic.lean

@@ -10,6 +10,7 @@ import UsersGuide.Manuals
 import UsersGuide.Elab
 import UsersGuide.Extensions
 import UsersGuide.Output
+import UsersGuide.Releases
 
 open Verso.Genre Manual
 
@@ -117,6 +118,7 @@ number := false
 
 {theIndex}
 
+{include 0 UsersGuide.Releases}
 
 # Dependencies
 %%%

doc/UsersGuide/Releases.lean

@@ -0,0 +1,29 @@
+/-
+Copyright (c) 2026 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: Emilio J. Gallego Arias
+-/
+
+import VersoManual
+
+import UsersGuide.Releases.«v4_28_0»
+
+open Verso Genre Manual
+
+#doc (Manual) "Release Notes" =>
+%%%
+tag := "release-notes"
+file := "releases"
+number := false
+htmlSplit := .never
+%%%
+
+This section provides release notes about recent versions of Verso. When updating to a new version, please
+read the corresponding release notes. They may contain advice that will help you understand
+the differences with the previous version and upgrade your projects.
+
+Verso versioning follows Lean's.
+This means that we release a new version for each Lean release, usually once per month.
+In particular, note that Verso doesn't follow the [semantic versioning model](https://semver.org/).
+
+{include 0 UsersGuide.Releases.«v4_28_0»}

doc/UsersGuide/Releases/v4_28_0.lean

@@ -0,0 +1,21 @@
+/-
+Copyright (c) 2026 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: Emilio J. Gallego Arias
+-/
+
+import VersoManual
+
+open Verso.Genre
+
+-- To allow ```` below
+set_option linter.verso.markup.codeBlock false
+
+#doc (Manual) "Verso 4.28.0 (unreleased)" =>
+%%%
+tag := "release-v4.28.0"
+file := "v4.28.0"
+%%%
+
+* Add Release Notes / Changelog to Verso Users guide (@ejgallego, #708)
+