@@ -107,7 +107,9 @@ This is the documentation of the \framac
implementation\footnote{\url{http://frama-c.com}} which aims at
helping developers integrate new plug-ins inside this platform.
The content of this document corresponds to the version \framacversion,released on \today,of \framac. However the development of \framac is still ongoing: features
The content of this document corresponds to the version \framacversion,
released on \today, of \framac.
However the development of \framac is still ongoing: features