Added K. Vorobyov to the list of authors of the E-ACSL user manual

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

@@ -19,7 +19,7 @@
 \vfill
 \title{\eacsl Plug-in}{Release \eacslversion compatible 
   with \framac \fcversion}
-\author{Julien Signoles}
+\author{Julien Signoles and Kostyantyn Vorobyov}
 \begin{tabular}{l}
 CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
 \end{tabular}