add forgotten changelog entries

Changelog

@@ -26,6 +26,13 @@ o!  Kernel    [2024-01-29] Db is now mostly empty, the only remaining value is
                            Boot.Main.extend. Features related to asynchronous
                            interactions are now handled in module Async
 
+###############################################################################
+Open Source Release 28.1 (Nickel)
+###############################################################################
+
+-*  Kernel    [2024-01-18] Fix Cil.isConstant on lvalues with offset.
+-*  Ivette    [2024-01-11] Fix Ivette shell wrapper on macOS.
+
 ###############################################################################
 Open Source Release 28.0 (Nickel)
 ###############################################################################

doc/developer/changes.tex

@@ -17,6 +17,11 @@ This chapter summarizes the major changes in this documentation between each
   \end{itemize}
 \end{itemize}
 
+\section*{28.0 (Nickel)}
+\begin{itemize}
+\item \textbf{Logical Annotations}: Add sections about specification generation.
+\end{itemize}
+
 \section*{27.0 (Cobalt)}
 \begin{itemize}
 \item \textbf{Customizing the machine model}: Rewrite section according to new

src/plugins/wp/Changelog

@@ -28,6 +28,12 @@ Plugin WP <next-release>
                            -wp-counter-examples. Also introduce an ACSL extension
                            to create probes on terms for counter examples.
 
+###############################################################################
+Plugin WP 28.1 (Nickel)
+###############################################################################
+
+-* WP         [2024-01-29] Fix interactive prover startup.
+
 ###############################################################################
 Plugin WP 28.0 (Nickel)
 ###############################################################################