[e-acsl:refman] update changelog

src/plugins/e-acsl/doc/refman/changes_modern.tex

@@ -4,6 +4,7 @@
 \subsection*{Version \version}
 
 \begin{itemize}
+  \item \changeinsection{expressions}{bitwise-or \lstinline|\^\^| is not lazy}
   \item \changeinsection{expressions}{new extended syntax for quantifications}
   \item \changeinsection{reals}{additional remark about real numbers and
     operations over them}
@@ -177,7 +178,7 @@ in \lstinline|\\at|}
 \begin{itemize}
 \item \changeinsection{expressions}{mark logic function and predicate
   applications as implemented}
-\item \changeinsection{fn-behavior}{mark admit clauses as implemented}
+\item \changeinsection{fn-behavior}{mark admit and check clauses as implemented}
 \end{itemize}
 
 \subsection*{Version Titanium-22}