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.
PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project
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*:
> and report any problems in the usual place
> I'm aiming to make the release a week from today.
> Many thanks in advance,
> - David
> ProofGeneral-devel mailing list
ProofGeneral-devel mailing list