I am sure it will happen *eventually*. It would be nice to precede/coincide with Isabelle's next release.

There is a new release candidate available now (RC5) which contains the recent (mainly Coq-related) fixes. I hope this will be the last RC and not contain show stoppers!


 - David

On 11/09/11 14:41, Makarius wrote:
Since we are approaching the next official Isabelle release (probably
October 2011), this is the same procedure as everytime.

Is there any serious release schedule for PG 4.1?

Just before Isabelle2011 it was planned to happen within a few days
before our release, then new features came it. Now we are 8 months later
...
_______________________________________________
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.

Reply via email to