--- layout: fc_discuss_archives title: Message 85 from Frama-C-discuss on April 2009 ---
hello, plugin FRAM-C_ECLIPSE is based on? PLUGIN JESSIE. my? work is to add some rules to framac-eclipse plugin ? - Now? i? search how the JESSIE plugin is added to?? FRAMAC-ECLIPSE plugin. I'm really stuck, it's been a week that I try but I have? not? found nothing . i ask you to? help me thank you -------------- section suivante -------------- Une pi?ce jointe HTML a ?t? enlev?e... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090430/663226c9/attachment.htm