News for package proofgeneral