Re: [PG-devel] Proof General 4.0 - release candidate

[Paolo Herms]

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

[PG-devel] Proof General 4.0 - release candidate

[David Aspinall]

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

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.