Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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              |