diff --git a/doc/UsersGuide/Basic.lean b/doc/UsersGuide/Basic.lean index 523e5b79..5388ee1d 100644 --- a/doc/UsersGuide/Basic.lean +++ b/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 %%% diff --git a/doc/UsersGuide/Releases.lean b/doc/UsersGuide/Releases.lean new file mode 100644 index 00000000..37baf1d7 --- /dev/null +++ b/doc/UsersGuide/Releases.lean @@ -0,0 +1,25 @@ +/- +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_27_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. + +{include 0 UsersGuide.Releases.«v4_27_0»} diff --git a/doc/UsersGuide/Releases/v4_27_0.lean b/doc/UsersGuide/Releases/v4_27_0.lean new file mode 100644 index 00000000..42e7e4fc --- /dev/null +++ b/doc/UsersGuide/Releases/v4_27_0.lean @@ -0,0 +1,25 @@ +/- +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 + +-- EJGA: Should we use the markdown code block from ref-manual? +-- import Manual.Meta.Markdown + +open Verso.Genre + +-- To allow ```` below +set_option linter.verso.markup.codeBlock false + +#doc (Manual) "Verso 4.27.0 (unreleased)" => +%%% +tag := "release-v4.27.0" +file := "v4.27.0" +%%% + +```` +* Added Release Notes / Changelog to Verso Users guide +````