--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on June 2009 ---
Hello ?ric, Le lun. 25 mai 2009 00:04:23 CEST, ejenn <ejenn at free.fr> a ?crit : > > 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.) If you're still OK with that, I've just ported the current version of your FAQ to Frama-C's wiki: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:frequently_asked_questions Best regards, -- E tutto per oggi, a la prossima volta. Virgile