--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on September 2013 ---
Le 04/09/2013 17:33, Julien Signoles a ?crit : > 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 ;-)). I have indeed done that. But within the opening Media Manager window, I cannot find an upload button or zone. >> http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial:merce_2013 >> > > I've uploaded your pdf there. Thanks! Could you also upload the tarball of example C files? Best regards, david -- David MENTR? - Research engineer, Ph.D. Formal Methods and tools MITSUBISHI ELECTRIC R&D Centre Europe (MERCE) Phone: +33 2 23 45 58 29 / Fax: +33 2 23 45 58 59 http://www.fr.mitsubishielectric-rce.eu