On 21/01/11 10:06, Hendrik Tews wrote:
David Aspinall writes:

    Do you want to repair by adding a test for fully processed

I reused an existing test case, see the description in

OK, I committed a patch now (not quite the one I sent you off list) which ensures that the hook function is run.

Regarding test case above: the bug mentioned in README is fixed, but the behaviour I described earlier (about Coq process being started at odd time) still happens when I follow the "To provoke an error" instructions. And I don't get an error!

 - D.
ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to