[refman] update biblio

src/plugins/e-acsl/doc/refman/biblio.bib

@@ -35,44 +35,36 @@
 
 @manual{acsl,
   title = {{ACSL, ANSI/ISO C Specification Language}},
-  author = {Patrick Baudin and Jean-Christophe Filliâtre and Claude Marché
-            and Benjamin Monate and Yannick Moy and Virgile Prevosto},
-  year = {2011},
-  month = feb,
-  note = {Vesion 1.5. \url{http://frama-c.com/acsl.html}},
+  author = {Patrick Baudin and Pascal Cuoq and Jean-Christophe Filliâtre and 
+  Claude Marché and Benjamin Monate and Yannick Moy and Virgile Prevosto},
+  note = {Vesion 1.12. \url{http://frama-c.com/acsl.html}},
 }
 
 @manual{acslimplem,
-  title = {{ACSL version 1.5, Implementation in Carbon-20110201}},
+  title = {{ACSL version 1.12, Implementation in Silicon-20161101}},
   author = {Patrick Baudin and Pascal Cuoq and Jean-Christophe Filliâtre and
  Claude Marché and Benjamin Monate and Yannick Moy and Virgile Prevosto},
-  year = {2011},
-  month = feb,
   note = {\url{http://frama-c.com/acsl.html}},
 }
 
 @manual{framac,
   title = {Frama-C User Manual},
   author = {Loïc Correnson and Pascal Cuoq and Florent Kirchner and 
+André Maroneze and
 Virgile Prevosto and Armand Puccetti and Julien Signoles and Boris Yakobowski},
-  year = {2011},
-  month = oct,
   note = {\url{http://frama-c.com}},
 }
 
 @manual{eacsl-plugin,
   title = {Frama-C's E-ACSL Plug-in},
-  author = {Julien Signoles},
-  year = {2012},
-  month = jan,
-  note = {\url{http://frama-c.com}},
+  author = {Julien Signoles and Kostyantyn Vorobyov},
+  note = {\url{http://frama-c.com/eacsl.html}},
 }
 
 @manual{value,
   title = {Frama-C's value analysis plug-in},
-  author = {Pascal Cuoq and Virgile Prevosto},
-  year = {2011},
-  month = oct,
+  author = {Pascal Cuoq and Boris Yakobowski and Matthieu Lemerre and 
+André Maroneze and Valentin Perelle and Virgile Prevosto},
   note = {\url{http://frama-c.com/value.html}},
 }
 

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

 %; whizzy section -pdf -initex "pdflatex -ini"
-\documentclass[a4paper,web]{frama-c-book}
+\documentclass[web]{frama-c-book}
 \usepackage{hevea}
 \usepackage{ifthen}