--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2012 ---
Hello and happy new year, I'm glad to announce the availability of a new release of WP plug-in. The manual and a short tutorial are available from the page dedicated to WP plug-in of Frama-C web site: <http://frama-c.com/wp.html> From there, you will find a link to the download center to get the source package of the plug-in. The plug-in can easily be installed: Frama-C Nitrogen 2011001 has to be installed first. By default, the installation procedure of Frama-C Nitrogen installs the previous version of WP plug-in. Never mind, the installation of the new release of WP plug-in will automatically overload that previous version of WP plug-in. Enjoy this new release of WP plug-in and don't hesitate to report feedback. Kind regards, Patrick Baudin.