--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on May 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] A tentative FAQ...



Le lun. 25 mai 2009 00:04:23 CEST,
ejenn <ejenn at free.fr> a ?crit :

> I have tried to create a first set of (FA)Q for my personal usage from 
> the current content of the Frama-C discussion mailing list. Basically, 

Many thanks for this effort. Having all these questions in a single
document is very valuable.

> In any case, should you find it useful, feel free to use it / put it in 
> a more appropriate location...
> (IMHO, an appropriate location could be some kind of Wiki where it could 
> be freely updated.)
> 

I'd say that the frama-c wiki, despite requiring a subscription
through the bts, would be a good place to put this material. 

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile