--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2009 ---
Hello, I would like to remind everyone that this mailing list is an English language mailing list. As for every mailing list, it is a good idea to provide context by quoting and attributing *relevant parts only* of the message you are replying to. If you are subscribing to the digest, please set the subject when you reply. Pascal