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
- Subject: [Frama-c-discuss] Jessie plug-in
- From: Claude.Marche at inria.fr (Claude Marché)
- Date: Thu, 07 May 2009 17:14:33 +0200
- In-reply-to: <OF056D6970.3983FAB6-ONC12575AF.00456AD1-C12575AF.004741FB@continental-corporation.com>
- References: <OF056D6970.3983FAB6-ONC12575AF.00456AD1-C12575AF.004741FB@continental-corporation.com>
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 |
- References:
- [Frama-c-discuss] Jessie plug-in
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] Jessie plug-in
- Prev by Date: [Frama-c-discuss] Jessie plug-in
- Next by Date: [Frama-c-discuss] A few (newbye) questions...
- Previous by thread: [Frama-c-discuss] Jessie plug-in
- Next by thread: [Frama-c-discuss] Jessie plug-in
- Index(es):