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] 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                    |