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
[email protected]
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.
