[userman] changes

src/plugins/e-acsl/doc/userman/changes.tex

@@ -5,6 +5,12 @@ release. First we list changes of the last release.
 
 \section*{E-ACSL \eacslversion}
 
+\begin{itemize}
+\item \textbf{Easy Instrumentation with E-ACSL}: new chapter.
+\end{itemize}
+
+\section*{E-ACSL 0.5}
+
 \begin{itemize}
 \item \textbf{Libc}: new section.
 \item \textbf{Architecture Dependent Annotations}: add a remark about \gcc's