--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on May 2009 ---
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