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]

[Frama-c-discuss] Introductory slides on Frama-C



On 09/04/2013 05:09 PM, David MENTRE wrote:
> Hello Julien,
>
> Le 04/09/2013 16:57, Julien Signoles a ?crit :
>> It could be put somewhere on the Frama-C wiki: on the tutorial page?
>> (http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial)
>
> Good suggestion. I was able to create following page but I was unable to
> upload the files : the media manager lacks an upload button (access
> right issue for me?).

The wiki is not user-friendly, but there is an upload button: in edition 
mode, you have to click on the button "Add Images and other files" (near 
the smiley button ;-)).

> http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial:merce_2013

I've uploaded your pdf there.

Julien