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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to