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