Hi, there are no issues left with milestone 4.2. Nobody has committed changes for one week. David, I believe, you can release now.
Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel