The Coq mailing list

[catalin.hritcu AT gmail.com]

Hello,

I have an apparently similar problem with the commands "Restart" and "Abort".
They are accepted by coqc, but CoqIDE gives out an "Error: Use CoqIDE
navigation instead". "Reset" doesn't work either.

Is it possible that this is a CoqIDE bug?

Thanks,
Catalin