--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on December 2009 ---
Dear Frama-C users, The Frama-C team is proud to announce the very first release of the Frama-C user manual available from the Frama-C website: http://www.frama-c.com/download/user-manual-Beryllium-20090902.pdf It is compatible with Frama-C Beryllium 2. It aims at providing an overview of Frama-C for newcomers, and serves as a reference for experimented users. It only describes the Frama-C features that are common to all analyzers. Thus it does not cover use of the analyzers provided in the Frama-C distribution (Value Analysis, Slicing, ...). Please feel free to send us feedback on this document. Best regards, for the Frama-C team, Julien Signoles