--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on October 2008 ---
Thanks again! regards Birger -----Opprinnelig melding----- Fra: Benjamin Monate [mailto:benjamin.monate@cea.fr] Sendt: ti 07.10.2008 16:47 Til: Birger Kollstrand Kopi: frama-c-discuss@lists.gforge.inria.fr Emne: Re: SV: [Frama-c-discuss] Frama-C user documentation? Birger Kollstrand a ?crit : > One additional question, where do I find frama-c-manual-en.pdf? I looked in the menu on the windows install and it's not there. It should be in <INSTALDIR>\share\frama-c\manuals It is also available from the bottom of the home page follow the link (user manual). I will put shortcuts in the menu for next release and the website will be reworked completly. Thanks again, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |