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!
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.