Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • Subject: [Frama-c-discuss] A tentative FAQ...
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
  • Date: Wed, 10 Jun 2009 16:54:45 +0200
  • In-reply-to: <4A19C467.7000404@free.fr>
  • References: <4A19C467.7000404@free.fr>

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