--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on April 2016 ---
Hello, as it has been a long time since Pascal's last post, I figured out that it might be useful to announce on this mailing list that last week's post (https://tinyurl.com/hhos6u3) was not an April's fool. My fellow colleague André just authored the first new post (https://tinyurl.com/jkolx54) of an (hopefully) long series. If you want to know more about Frama-C's GUI improvements that occurred in the Magnesium release, this is a must-read. Best regards, -- E tutto per oggi, a la prossima volta Virgile