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.
-Jason On Thu, Apr 18, 2013 at 2:54 AM, Hendrik Tews <[email protected]>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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
