The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Mon, Dec 15, 2014 at 11:04:49AM -0500, Jonathan wrote:
> Thanks, Pierre!  Not having the asynchronous protocol is not a problem for
> me (it doesn't work well with my scripts in CoqIDE due to my use of
> extraction after most function definitions).

Can you tell me why?  Are you getting "the value you asked is not ready"
errors?  I think these errors will turn into blocking calls for the
release.  The current bahavior is there to detect use cases where these
calls would be really blocking.  Can you send me a short example that is
representative of your way of doing things?

Best,
-- 
Enrico Tassi