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. I would like to leave the work on the fix to you. Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel