Hi, I am missing the documentation comment for pg-finish-tracing-display. What is it used for?
(As you may have noticed I am implementing parallel background compilation for Coq. It is working already if there is no error in the compilation itself. I am now trying to keep the queue region alive when proof-action-list get empty while a whole bunch of items are waiting at a different place until the background compilation finishes. During this I came across the call to pg-finish-tracing-display close to the end of proof-shell-exec-loop...) Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel