Hi,
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?
Bye,
Hendrik
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
