The Coq mailing list

[Makarius <makarius AT sketis.net>]

On Fri, 27 Sep 2013, Abhishek Anand wrote:

> In the --ideslave mode, how to I tell coqtop to abort the current 
> computation and ignore the last command? For example, if I send 
> repeat(simpl). , I wish there was a way to tell coqtop to abort and 
> ignore last command ? Currently, I can restart coqtop and resend the 
> contents of the file(except the last command), but for large files, it 
> would waste a lot of time.

I can't say anything specific, but someone has recently pointed out 
https://itu.dk/research/tomeso/kopitiam/ to me -- it is a larger effort to 
integrate the old-fashioned Coq TTY loop (its XML version) into Eclipse. 
They seem to have some Java modules to manage coqtop already.


        Makarius