--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on February 2012 ---
On Wed, 2012-02-15 at 14:27 +0100, sylvain nahas wrote: > 2. The wiki main page was also expended with a chapter "External > plugins" to references plugins not distributed with Frama-C. > See here: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start I suggest also to add a link on http://frama-c.com/plugins.html to the external plugins section of the wiki and to create a toplevel entry "External plugins" in the wiki so that there's an url for this section. -- Best regards, Boris