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-devel@inf.ed.ac.uk
> http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel