--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on April 2009 ---
Le jeudi 02 avril 2009 ? 16:31 +0200, David MENTRE a ?crit : > Please stop this teasing about the Next Release(tm)!! ;-) Actually this GUI issue was the only reason why I chose to use the latest Frama-C svn version in my demos at the last Frama-C training session. So I know how bothered this issue can be ;-). -- Julien