--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on May 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie plug-in




Emilie.Timbou at continental-corporation.com wrote:
> 
> Sorry for not using English language, I forgot.
> 
> I tried what you tell me and I had another type of error. I am not sure 
> whether it was necessary to put the two lines as a result or not.
> When I tested the two lines, I get:
> 

these were two distinct commmand lines of course....

> When I tested the first line, I get:
>

surprising... did you ever succeeded to run coq properly ?
what happens with just the command

    coqide

?

- Claude

PS: thanks for using english. Next step: could you try to send textual 
copies of the command outputs, instead of images ? thanks...

> However, I put the Coq libraries in the Variable Environment... 
> So, I do not understand the problem and I do not find a answer to resolve 
> this problem.
> 
> Thank for your interest...
> 
> Emilie 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |