The Coq mailing list

[michel levy <michel.levy AT imag.fr>]

I am using coqv8.0p12 with Proof General (version 3.5).
As soon I try to execute a Coq command (Print nat by Next =CcCn), I see 
the process
/usr/bin/coqtop -emacs
in the state Ss+
And I am unable to enter another command.

Have you an explanation ?

--
Michel Levy
L.S.R., Bureau C214, B.P.72 - 38042 SAINT MARTIN D'HERES CEDEX
e.mail : 
Michel.Levy AT imag.fr
    tel :(33)476514022
http://www-lsr.imag.fr/users/Michel.Levy