Hi, >> Weird enough, it shows that error even when there is nothing to do: A > > This might be because the buffer is always initialized, see > coq-init-compile-response-buffer.
I should have been more clear: It doesn't always show that error when there is nothing to do. Often, things just work as long as there is no error from Coq. As far as I'm concerned, the issue is not really pressing - since everything is all right with concurrent compilation. Kind regards, Ralf -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
