--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

SV: SV: [Frama-c-discuss] Frama-C user documentation?



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              |