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!
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
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.