--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on July 2010 ---
>I can't edit when I open frama-c, It is normal. The GUI of frama-c is not an editor. It only displays the C code you load (either through the command line or through the GUI). It also gives a clickable interface to the various analyses provided by the plug-ins. I suggest you start by reading the user manual at http://frama-c.com/download/user-manual-Boron-20100401.pdf Cheers, -- Richard Bonichon