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:
> 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