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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
