Ralf Jung <[email protected]> writes: > 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. Looking quickly over the code, all usages of this buffer seem to be guarded with (inhibit-read-only t), which should disable the read-only check. I don't know what is going on, I have to look more carefully. Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
