--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New plugin werror + list of external plugins in the wiki



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>