--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on February 2012 ---
Hallo Boris, Am 15.02.2012 15:03 schrieb "Boris Hollas" <hollas at informatik.htw-dresden.de >: > > 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. I didn't do that after considering it, because the plugins listed in plugins.html are officially delivered and supported by the Frama-C developers, and thus well advertised. "External plugin" is intended to list projects maintained outside "mainstream" Frama-C. The wiki is open to edition to users registered into the BTS, and you are warmly welcome to edit it as you see fit. In any case, if you use Frama-C, it is a good idea to register an account in the BTS, because I bet you will stumble on matter to open entries in there. :-) Freundlischen Gr??e, Sylvain > Best regards, > Boris > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss Am 15.02.2012 15:03 schrieb "Boris Hollas" < hollas at informatik.htw-dresden.de>: -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120215/87dce00a/attachment.htm>