somebody wrote in the bug tracker:
Btw, is it possible to get me added to the cc list for this bug?
(jasongross9+PG AT gmail DOT com)
I don't know how. I therefore suggest to continue the discussion
here at ProofGeneral-devel.
I have some suspicions, what caused the timings to disappear.
However, before I dig into the issue, I would like to see how
Proof General used to behave. I therefore ask for the third time:
Do you remember a PG version that had the behavior you expect?
ProofGeneral-devel mailing list