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

[Frama-c-discuss] Frama-C: GUI's response time



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