--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on July 2010 ---
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>