On 21/01/11 10:06, Hendrik Tews wrote:
David Aspinall writes:Do you want to repair by adding a test for fully processed buffer? I reused an existing test case, see the description in coq/ex/test-cases/retract-completely-asserted/README.
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 ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
