--- layout: fc_discuss_archives title: Message 72 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



Salut Sylvain,

> > 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. 

no -- the other way round. External plugins aren't well advertised on
the Frama-C page, so a link from there to the wiki will be useful for
users and other plugin-developers.

> 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. :-)

I have an account, but I don't know how to create directories on the
start page. Currently, all information is on one page. I suggest to
split this into several pages, eg Installing, Jessie & wp, Value
analysis, External plugins.

> Freundlischen Gr??e,
You use "mit freundlichen Gr??en" if you're formal, otherwise "viele
Gr??e" or "Gr??e".

-- 
Best regards,
Boris