--- layout: fc_discuss_archives title: Message 30 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



I tried just the command : coqide
I get:

> bash : coqide : command not found

On the PC, Coq and CoqIde are installed.
Thereafter, I tried to launch the Coq tool without using the Bash Shell, 
but I do not have a concrete example in order to properly test it to see 
its functionality. 
For  now, I have not yet found a solution to this problem.

-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090512/d1a51b57/attachment.htm