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 ...


        Makarius
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to