--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on July 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c install help



Hello,everyone!
I have some problems while install frama-c,after I install the "Windows binary installer (includes Jessie, Why 2.26, Alt-Ergo 0.91 and an OCaml 3.11.2/LablGtk development environment) [Installation instructions] " from http://frama-c.com/download.html,     I can't edit when I open frama-c,  who can tell me how to install frama-c properly?Thank you very much!!
 
 
Best wishes!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100723/65e042e0/attachment.htm>