--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2009 ---
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