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

Reply via email to