I remember how PG used to behave, but I do not recall which version it was.
 I started using Coq at version 8.3pl2, or there-abouts, so I can try to
figure out which version of PG behaved how I expect.  I will try to get
back to the email list within the next few days with a response about this.


On Thu, Apr 18, 2013 at 2:54 AM, Hendrik Tews <t...@os.inf.tu-dresden.de>wrote:

> 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

Reply via email to