--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on April 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Blog resurrection



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