Hello, thanks for the precious work. I'd just like to re-attract attention to bug 339, it's a real issue since also the Coq 8.3 release is imminent. Kind regards, -- Paolo Herms PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project Paris, France
On Monday 04 October 2010 18:19:12 David Aspinall wrote: > Dear PG users and developers, > > With help from a few special people over the past few months, we have > ironed out many issues with the CVS version of Proof General and I think > it is good enough to make into an official release --- the first in over > two years. > > In the hope of nipping the last few problems, I'd be grateful for users > and developers to try out the current pre-release, through *this week*: > > http://proofgeneral.inf.ed.ac.uk/devel > > and report any problems in the usual place > > http://proofgeneral.inf.ed.ac.uk/trac/ > > I'm aiming to make the release a week from today. > > Many thanks in advance, > > - David > > > > _______________________________________________ > ProofGeneral-devel mailing list > proofgeneral-de...@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel _______________________________________________ ProofGeneral mailing list ProofGeneral@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral